jdk/make/common/shared/Sanity.gmk
changeset 8080 b733aa0d1c9b
parent 8018 79ce40b4ab5e
child 8083 6552a84fac3c
--- 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 16:30:29 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
 
 ######################################################