From 738e9bc1733ed4b5ceb3423d459b8b828b6d4b7b Mon Sep 17 00:00:00 2001 From: khooyp Date: Wed, 11 Jan 2012 16:55:42 +0000 Subject: [PATCH] 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 --- src/main/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.47.3