diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-18 11:04:43 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-18 11:04:43 -0500 |
commit | 6fe464a1e87d62aa4ad12f7410542e09c3464436 (patch) | |
tree | 104b9fbe8ac0745e202cede8ce94aaf98d366180 | |
parent | af5f19a4714987c0436970fd11f5af94f03ac40e (diff) |
Fix for gitinfo (resolves bug 399).
-rw-r--r-- | src/Makefile.am | 4 |
1 files 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\""; \ |