Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
16 lines (12 sloc) 550 Bytes
# See http://stackoverflow.com/questions/11775109/determine-if-makefile-is-executed-with-gmake
# and http://stackoverflow.com/questions/11775197/how-to-execute-gmake-make-from-a-bash-script-file
# for the GNUMAKE detection script
# If stock `make` is GNU Make, use `make`; otherwise use `gmake`
GNUMAKE=@`sh -c \
'if (make --version | grep "^GNU Make" 2>&1 >/dev/null); \
then echo make; else echo gmake; fi' 2>/dev/null`
TARGETMAKEFILE= ./Makefile.tinymt
all:
$(GNUMAKE) -f $(TARGETMAKEFILE) $@
.DEFAULT:
$(GNUMAKE) -f $(TARGETMAKEFILE) $@
Something went wrong with that request. Please try again.