From: khooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 11 Jan 2012 16:55:42 +0000 (+0000)
Subject: Base version on local SVN change rather than the overall repository, so as not to... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=738e9bc1733ed4b5ceb3423d459b8b828b6d4b7b;p=francis%2Fstp.git

Base version on local SVN change rather than the overall repository, so as not to trigger a relink and downstream rebuild.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1499 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/main/Makefile b/src/main/Makefile
index 04d3fc5..72d1c5e 100644
--- a/src/main/Makefile
+++ b/src/main/Makefile
@@ -17,7 +17,7 @@ clean:
 
 # Use svnversion to output the global revision number.
 versionString.stamp: FORCE
-	@SVNVERSION=`svnversion $(TOP)`; \
+	@SVNVERSION=`svnversion -c $(TOP)`; \
 	if [ x`cat $@ 2> /dev/null` != x$$SVNVERSION ]; then \
 		echo $$SVNVERSION > $@; \
 	fi