From 2b08766887021cb4f4ea18a564c6544d87df16bb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Nov 2010 14:27:46 +0000 Subject: [PATCH] Makefile tweak: no need to display JAVACC. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2223 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 05fc5496..e25408ae 100644 --- 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)` \ ) #################################################