diff make/common/shared/Sanity.gmk @ 3438:14cd5d54a8d0

Merge
author ohair
date Tue, 08 Feb 2011 20:00:05 -0800
parents 1f056ddda771 001dcfd0be4b
children 869cba583dd4 f82a1434bf63
line wrap: on
line diff
--- a/make/common/shared/Sanity.gmk	Tue Feb 08 13:06:20 2011 -0800
+++ b/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
 
 ######################################################