Print a make warning when using GNU make older than 3.80

petere · petere · commit dd21f0b04707 · 2010-11-03T17:33:04.000+02:00
A proposed patch will require GNU make 3.80 or newer.  We will let this patch
run for a while to see how much damage that would do to the buildfarm.
diff --git a/GNUmakefile.in b/GNUmakefile.in
@@ -144,3 +144,11 @@ distcheck: dist
 	@echo "Distribution integrity checks out."
 
 .PHONY: dist distdir distcheck docs install-docs
+
+
+# Temporary measure to explore whether we can start requiring GNU make
+# 3.80.  That version also happens to be the version where the
+# .VARIABLES variable was introduced, so this is a simple check.
+ifndef .VARIABLES
+$(warning warning: GNU make 3.80 or newer might become required soon. You are using version $(MAKE_VERSION).)
+endif
