Print a make warning when using GNU make older than 3.80

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
index 57f5813407bc8cdbd7579e0050186756e54e4fd5..ed42170a9b5a1aa338da96f73ffd0da562882ad6 100644 (file)
--- 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