jdk/make/common/shared/Sanity.gmk
changeset 8081 f2598ae01a50
parent 8018 79ce40b4ab5e
child 8083 6552a84fac3c
--- a/jdk/make/common/shared/Sanity.gmk	Thu Jan 27 18:43:47 2011 -0800
+++ b/jdk/make/common/shared/Sanity.gmk	Fri Jan 28 14:32:02 2011 -0800
@@ -255,10 +255,10 @@
 MAKE_CHECK :=$(call CheckVersions,$(MAKE_VER),$(REQUIRED_MAKE_VER))
 sane-make:
 	@if [ "$(MAKE_CHECK)" != "same" -a "$(MAKE_CHECK)" != "newer" ]; then \
-	  $(ECHO) "WARNING: The version of make being used is older than \n" \
+	  $(ECHO) "ERROR: The version of make being used is older than \n" \
 	    "      the required version of '$(REQUIRED_MAKE_VER)'. \n" \
 	    "      The version of make found was '$(MAKE_VER)'. \n" \
-	    "" >> $(WARNING_FILE) ; \
+	    "" >> $(ERROR_FILE) ; \
 	fi
 
 ######################################################