Base version on local SVN change rather than the overall repository, so as not to...

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 04d3fc594d5931f511f66aeb18ee4b80f1d29ef7..72d1c5e92341f4a67a9135c578a39db95ca26a4f 100644 (file)
--- 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