From 91227cf4c88f3b96ea529af0c900b3e9d74ca378 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 17 Oct 2015 07:40:14 +0000 Subject: [PATCH] Highlight some error messages in the Makefile (fix). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10790 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/prism/Makefile b/prism/Makefile index cb677255..e8a5b874 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -595,6 +595,7 @@ checks: echo "Alternatively, if you wish, you can set the environment"; \ echo "variable yourself (using setenv or export) or you"; \ echo "can edit the value of OSTYPE directly in the Makefile."; \ + echo "\033[0m"; \ exit 1; \ fi; \ if [ "$(JAVA_DIR)" = "" ]; then \ @@ -610,20 +611,24 @@ checks: echo "Alternatively, if you wish, you can set the environment"; \ echo "variable yourself (using setenv or export) or you"; \ echo "can edit the value of JAVA_DIR directly in the Makefile."; \ + echo "\033[0m"; \ exit 1; \ fi; \ if [ ! -d "$(JAVA_DIR)" ]; then \ echo "\033[33mJava directory \"$(JAVA_DIR)\" does not exist."; \ + echo "\033[0m"; \ exit 1; \ fi; \ if [ ! -f "$(JAVA_JNI_H_DIR)"/jni.h ]; then \ echo "\033[33mCould not locate JNI header jni.h within \"$(JAVA_DIR)\"."; \ echo "You may need to set JAVA_DIR by hand. See the PRISM manual for details."; \ + echo "\033[0m"; \ exit 1; \ fi; \ if [ ! -f "$(JAVA_JNI_MD_H_DIR)"/jni_md.h ]; then \ echo "\033[33mCould not locate JNI header jni_md.h within \"$(JAVA_DIR)\"."; \ echo "You may need to set JAVA_DIR by hand. See the PRISM manual for details."; \ + echo "\033[0m"; \ exit 1; \ fi; \ echo "VERSION: $(VERSION)"; \