jdk/make/common/shared/Sanity.gmk
changeset 8083 6552a84fac3c
parent 8081 f2598ae01a50
parent 8080 b733aa0d1c9b
child 8458 0fcf0e3903ec
child 8792 cd1dceb2d665
--- a/jdk/make/common/shared/Sanity.gmk	Tue Feb 08 13:06:20 2011 -0800
+++ b/jdk/make/common/shared/Sanity.gmk	Tue Feb 08 20:00:05 2011 -0800
@@ -1259,10 +1259,10 @@
 sane-ant_version:
 	@if [ "$(ANT_CHECK)" != "same" \
 	      -a "$(ANT_CHECK)" != "newer" ]; then \
-	  $(ECHO) "WARNING: The version of ant being used is older than \n" \
+	  $(ECHO) "ERROR: The version of ant being used is older than \n" \
 	    "      the required version of '$(REQUIRED_ANT_VER)'. \n" \
 	    "      The version of ant found was '$(ANT_VER)'. \n" \
-	    "" >> $(WARNING_FILE) ; \
+	    "" >> $(ERROR_FILE) ; \
 	fi
 
 ######################################################