Need reviewer: change sanity check on make 3.81

[Mandy Chung]

  Looks good.

Mandy

On 1/28/11 1:42 PM, Kelly O'Hair wrote:
> Need reviewer: change sanity check on make 3.81
>
> 7014301: Change make 3.81 sanity check to a fatal, 3.81 is needed now
>
> Use of gnu make 3.81 or newer is required now, which should be readily 
> available on all platforms.
>
> The patch is rather trivial:
>
> diff --git a/make/common/shared/Sanity.gmk 
> b/make/common/shared/Sanity.gmk
> --- a/make/common/shared/Sanity.gmk
> +++ b/make/common/shared/Sanity.gmk
> @@ -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
>
>  ######################################################
>
>
>
> -kto