From 1ff424c47193173b24d997293f8b0b0c4efcdd48 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Tue, 17 Jan 2017 01:36:54 -0500 Subject: Build against newer versions of libraries. --- GNUmakefile | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 GNUmakefile (limited to 'GNUmakefile') diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000..cc5a40d --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,13 @@ +# This file is a hack to let us pass whatever flags we want to Make, +# since adjusting MAKEFLAGS at runtime only half-works. +# +# Most of the complexity is dancing around to avoid having any +# possibly conflicting identifiers. + +MAKEFLAGS += --no-print-directory +rest = $(wordlist 2,$(words $1),$1) +target = $(or $(firstword $(MAKECMDGOALS)),default) +$(or $(call rest,$(MAKECMDGOALS)),_$(target)): $(target) + @: +$(target): + @+$(MAKE) -f Makefile --no-builtin-rules --no-builtin-variables $(MAKECMDGOALS) -- cgit v1.2.2