X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fupdate-debian-changelog;h=9353e70096d808bc9b0389d623aaaaeb271092a3;hb=4e312e694f1e9e34ed0aad7d5778b73d7add270d;hp=2007d4ff7eb9cc0f16280ed9c11a9f802fb24223;hpb=208d496f15787e55777c2ef541595f9e750ef771;p=openvswitch

diff --git a/build-aux/update-debian-changelog b/build-aux/update-debian-changelog
index 2007d4ff..9353e700 100755
--- a/build-aux/update-debian-changelog
+++ b/build-aux/update-debian-changelog
@@ -18,7 +18,7 @@ if test ! -e "$CHANGELOG"; then
     exit 1
 fi
 
-if grep '($(VERSION))' debian/changelog >/dev/null 2>&1; then
+if grep '('$VERSION')' debian/changelog >/dev/null 2>&1; then
     :
 else
     echo "Adding change log record for $VERSION to $CHANGELOG"
@@ -33,5 +33,5 @@ openvswitch ($VERSION) unstable; urgency=low
 EOF
         cat "$CHANGELOG"
     } > "$CHANGELOG".new
-    mv "$CHANGELOG".new "$CHANGELOG"
+    mv -f "$CHANGELOG".new "$CHANGELOG"
 fi