From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sun, 17 Feb 2013 04:56:22 +0000 (-0500)
Subject: gitinfo modifications fix
X-Git-Tag: cvc5-1.0.0~7406^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=957046ac530443c2a25e9406fbd13eda4eacdd61;p=cvc5.git

gitinfo modifications fix
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 1d54bc2a8..a25cc5e8f 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -86,7 +86,7 @@ subversion_versioninfo.cpp: svninfo
 	    issvn=true; \
 	    branch=`grep '^URL: ' svninfo | sed 's,.*/cvc4/,,'`; \
 	    rev=`grep '^Revision: ' svninfo | awk '{print$$2}'`; \
-	    mods=`grep '^Modifications: ' svninfo | awk '{print$$2}'`; \
+	    mods=`grep '^Modifications: ' svninfo | awk '{print$$2} END { if(!NR) print "false" }'`; \
 	  else \
 	    issvn=false; \
 	    branch=unknown; \