diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2010-11-03 17:30:59 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2010-11-03 17:33:04 +0200 |
| commit | dd21f0b047078ae724c0de4bc87b175154a83707 (patch) | |
| tree | c9f6d9675442cdfd6dc9753ec63d0faae317ffe2 /GNUmakefile.in | |
| parent | 61d6dd0c03eb4da654f435097cd0bf1da11c3272 (diff) | |
| download | postgresql-dd21f0b047078ae724c0de4bc87b175154a83707.tar.gz | |
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.
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
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 |