comparison Makefile @ 56807:7fa5bdf1b954

manual merge with records branch
author vromero
date Thu, 20 Jun 2019 12:08:09 -0400
parents 78c47f0002c3
children
comparison
equal deleted inserted replaced
37:7f65c0454b92 38:1d1be281db36
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.)