Makefile tweak: Display VERSION when building dist_bin.

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

prism/Makefile

@@ -390,6 +390,7 @@ REVISION = $(shell svnversion 2> /dev/null)
 
 # Add Revision.java with current svn revision
 add_rev:
+	
 	@echo "Creating $(SRC_DIR)/prism/Revision.java (REVISION = $(REVISION))"
 	echo 'package prism;\npublic class Revision\n{\n\tpublic static String svnRevision = "$(REVISION)";\n}' > $(SRC_DIR)/prism/Revision.java
 
@@ -399,7 +400,11 @@ dist_bin: JFLAGS += -source 1.6 -target 1.6
 dist_bin: dist_check_version all binary dist_tidy dist_bin_copy
 
 dist_check_version:
-	@if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_src/dist_bin VERSION=3.1"; exit 1; fi
+	@if [ "$(VERSION)" = "" ]; then \
+	  echo "Usage: make dist_src/dist_bin VERSION=3.1"; exit 1; \
+	else \
+	  echo VERSION: $(VERSION); \
+	fi
 
 # Unless already present, copy cudd/examples/doc to this dir
 # By default, cudd/examples from svn trunk and doc from ~/prism-doc; other options commented out below