Merge
authorohair
Tue, 08 Feb 2011 13:06:20 -0800
changeset 8082 f8d6081dd61d
parent 8079 44d66d8ea763 (current diff)
parent 8081 f2598ae01a50 (diff)
child 8083 6552a84fac3c
Merge
--- a/jdk/make/common/shared/Sanity.gmk	Thu Feb 03 17:22:18 2011 -0800
+++ b/jdk/make/common/shared/Sanity.gmk	Tue Feb 08 13:06:20 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
 
 ######################################################