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.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=postgresql.git;a=commitdiff;h=dd21f0b047078ae724c0de4bc87b175154a83707
Modified Files
--------------
GNUmakefile.in | 8 ++++++++
1 files changed, 8 insertions(+), 0 deletions(-)