diff --git a/make/common/shared/Sanity.gmk b/make/common/shared/Sanity.gmk index 0cf3433f9dcfba22c80073b6df276068c86f3caf..a893e2986796df8cb5c3a267453aaebb3ee56e3f 100644 --- a/make/common/shared/Sanity.gmk +++ b/make/common/shared/Sanity.gmk @@ -255,10 +255,10 @@ endif 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 ######################################################