From ce10ea002b9a63165766813e058cadd72be1100b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Apr 2013 23:17:39 +0000 Subject: [PATCH] Bug fix in build makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6664 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9789c7d1..f8bdebcb 100644 --- a/Makefile +++ b/Makefile @@ -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