From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 25 Mar 2013 22:14:37 +0000 (-0400)
Subject: Fix for SCM detection
X-Git-Tag: cvc5-1.0.0~7367^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=30333c667c982a3ce4c4efcec705724d22f12ec2;p=cvc5.git

Fix for SCM detection
---

diff --git a/src/Makefile.am b/src/Makefile.am
index b505750d4..1dbf77451 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -137,7 +137,7 @@ gitinfo: gitinfo.tmp
 # .PHONY ensures the .tmp version is always rebuilt (to check for any changes)
 .PHONY: gitinfo.tmp
 gitinfo.tmp:
-	$(AM_V_GEN)(cd "$(top_srcdir)"; if ! grep -q '^ref: refs/heads/' .git/HEAD; then echo; fi; sed 's,^ref: refs/heads/,,' .git/HEAD; git show-ref refs/heads/`sed 's,^ref: refs/heads/,,' .git/HEAD`; echo "Modifications: `test -z \"\`git status -s -uno\`\" && echo false || echo true`") >"$@" 2>/dev/null || true
+	$(AM_V_GEN)(cd "$(top_srcdir)"; if test -e .git/HEAD; then if ! grep -q '^ref: refs/heads/' .git/HEAD; then echo; fi; sed 's,^ref: refs/heads/,,' .git/HEAD; git show-ref refs/heads/`sed 's,^ref: refs/heads/,,' .git/HEAD`; echo "Modifications: `test -z \"\`git status -s -uno\`\" && echo false || echo true`"; fi) >"$@" 2>/dev/null || true
 
 install-data-local:
 	(echo include/cvc4.h; \