Bug fix in build makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6665 bbc10eb1-c90d-0410-af57-cb519fbb1720

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: