Makefile tweak: no need to display JAVACC.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2223 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 2b08766887
1 changed files with 1 additions and 2 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -529,8 +529,7 @@ checks:
 	fi; \
 	echo "OSTYPE/ARCH: $(OSTYPE) $(ARCH)"; \
 	echo "JAVA_DIR: $(JAVA_DIR)"; \
 	echo "JAVAC: "`which $(JAVAC)`; \
 	echo "JAVACC: "`which $(JAVACC)` \
 	echo "JAVAC: "`which $(JAVAC)` \
 	)
 #################################################