Bug fix in build makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6664 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · ce10ea002b
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -11,7 +11,7 @@ none:
 # Can be overridden by passing VERSION=xxx
 VERSION_NUM = $(shell grep versionString prism/src/prism/Version.java | sed -E 's/[^"]+"([^"]+)"[^"]+/\1/')
 VERSION_SUFFIX = $(shell grep versionSuffixString prism/src/prism/Version.java | sed -E 's/[^"]+"([^"]*)"[^"]+/\1/')
-VERSION = "$(VERSION_NUM)$(VERSION_SUFFIX)"
+VERSION = $(VERSION_NUM)$(VERSION_SUFFIX)

 # Build a source distribution
 dist_src: version