gitinfo modifications fix

diff --git a/src/Makefile.am b/src/Makefile.am
index 1d54bc2a8be053d5f0f2fd977c6b1e9eeee0db8e..a25cc5e8f7489ca87789a7e1ee31452c5b5f5919 100644 (file)
--- 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; \