From dd21f0b047078ae724c0de4bc87b175154a83707 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 3 Nov 2010 17:30:59 +0200 Subject: [PATCH] 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. --- GNUmakefile.in | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/GNUmakefile.in b/GNUmakefile.in index 57f5813407..ed42170a9b 100644 --- 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