From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 30 Nov 2012 14:07:11 +0000 (+0000)
Subject: minor fix to release script
X-Git-Tag: cvc5-1.0.0~7523
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba522e64d0e9975cee8e3d33328e32c3b27ecd71;p=cvc5.git

minor fix to release script
---

diff --git a/contrib/cut-release b/contrib/cut-release
index 0870b6ce0..ea0308ada 100755
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -91,7 +91,7 @@ if [ -z "$root" ]; then
 fi
 
 echo "Checking repo for unmerged updates..."
-if [ `svn -uq status | wc -l` -ne 1 ]; then
+if [ `svn -uq status | grep -v '^M *[0-9]* *NEWS$' | wc -l` -ne 1 ]; then
   echo "$(basename "$0"): ERROR: This working directory isn't up to date" 2>&1
   $dryrun || exit 1
 fi