From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 18 Feb 2013 16:04:43 +0000 (-0500)
Subject: Fix for gitinfo (resolves bug 399).
X-Git-Tag: cvc5-1.0.0~7405
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6fe464a1e87d62aa4ad12f7410542e09c3464436;p=cvc5.git

Fix for gitinfo (resolves bug 399).
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 9da50bac5..c9f928ba8 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -117,11 +117,11 @@ git_versioninfo.cpp: gitinfo
 	    isgit=true; \
 	    branch=`head -1 gitinfo`; \
 	    rev=`head -2 gitinfo | tail -1 | awk '{print$$1}'`; \
-	    mods=`grep '^Modifications: ' gitinfo | awk '{print$$2}'`; \
+	    mods=`grep '^Modifications: ' gitinfo | awk '{print$$2} END { if(!NR) print "false" }'`; \
 	  else \
 	    isgit=false; \
 	    branch=unknown; \
-	    rev=0; \
+	    rev=unknown; \
 	    mods=false; \
 	  fi; \
 	  echo "#include \"util/configuration.h\""; \