From 957046ac530443c2a25e9406fbd13eda4eacdd61 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 16 Feb 2013 23:56:22 -0500
Subject: [PATCH] gitinfo modifications fix

---
 src/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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; \
-- 
2.30.2