changeset 3589:3f77dae85c85

Merge
author ohair
date Tue, 08 Feb 2011 13:06:20 -0800
parents 07c68a15ec79 (current diff) 1f056ddda771 (diff)
children 14cd5d54a8d0
files
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make/common/shared/Sanity.gmk	Thu Feb 03 17:22:18 2011 -0800
+++ b/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
 
 ######################################################