From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 1 Dec 2012 17:58:02 +0000 (+0000)
Subject: fix cut-release sanity checks
X-Git-Tag: cvc5-1.0.0~7487
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cca4ff99763b8202314ef8ab1ec6bc868020f195;p=cvc5.git

fix cut-release sanity checks
---

diff --git a/contrib/cut-release b/contrib/cut-release
index ea0308ada..ef51b6edb 100755
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -79,7 +79,7 @@ if $dryrun; then
     echo "$(basename "$0"): ERROR: In dry-run mode, cannot operate properly with local modifications to \"configure.ac\", sorry" >&2
     exit 1
   fi
-elif [ -n "$(svn status -q)" ]; then
+elif [ -n "$(svn status -q | grep -v '^M *[0-9]* *NEWS$')" ]; then
   echo "$(basename "$0"): ERROR: \"svn status\" indicates there are local modifications; please commit first" >&2
   exit 1
 fi