Makefile
changeset 41138 eff1ff3bb5ef
parent 41040 7b919a4497ff
equal deleted inserted replaced
41137:cbc639238d91 41138:eff1ff3bb5ef
    26 ###
    26 ###
    27 ### This file is just a very small wrapper needed to run the real make/Init.gmk.
    27 ### This file is just a very small wrapper needed to run the real make/Init.gmk.
    28 ### It also performs some sanity checks on make.
    28 ### It also performs some sanity checks on make.
    29 ###
    29 ###
    30 
    30 
    31 # The shell code below will be executed on /usr/ccs/bin/make on Solaris, but not in GNU Make.
    31 # The shell code below will be executed on /usr/bin/make on Solaris, but not in GNU Make.
    32 # /usr/ccs/bin/make lacks basically every other flow control mechanism.
    32 # /usr/bin/make lacks basically every other flow control mechanism.
    33 .TEST_FOR_NON_GNUMAKE:sh=echo You are not using GNU Make/gmake, this is a requirement. Check your path. 1>&2 && exit 1
    33 .TEST_FOR_NON_GNUMAKE:sh=echo You are not using GNU Make/gmake, this is a requirement. Check your path. 1>&2 && exit 1
    34 
    34 
    35 # The .FEATURES variable is likely to be unique for GNU Make.
    35 # The .FEATURES variable is likely to be unique for GNU Make.
    36 ifeq ($(.FEATURES), )
    36 ifeq ($(.FEATURES), )
    37   $(info Error: '$(MAKE)' does not seem to be GNU Make, which is a requirement.)
    37   $(info Error: '$(MAKE)' does not seem to be GNU Make, which is a requirement.)