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

diff --git a/build-aux/update-debian-changelog b/build-aux/update-debian-changelog
index 2007d4ff..dfb84fc4 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"