From 892725eaaf5850ced4a4d81b73d292e5579b1eec Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Apr 2013 23:27:36 +0000 Subject: [PATCH] Bug fix in build makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6665 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f8bdebcb..99a99417 100644 --- a/Makefile +++ b/Makefile @@ -25,8 +25,8 @@ dist_src: version mv prism-examples prism/examples mv cudd prism mv prism "prism-$(VERSION)-src" - (cd "prism-$(VERSION)-src"; $(MAKE) dist_src ) - tar --exclude=.svn cfz "prism-$(VERSION)-src.tar.gz" "prism-$(VERSION)-src" + (cd "prism-$(VERSION)-src"; $(MAKE) dist_src VERSION=$(VERSION)) + tar cfz "prism-$(VERSION)-src.tar.gz" --exclude=.svn "prism-$(VERSION)-src" # Display version version: