From 6fe464a1e87d62aa4ad12f7410542e09c3464436 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 18 Feb 2013 11:04:43 -0500
Subject: [PATCH] Fix for gitinfo (resolves bug 399).

---
 src/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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