Обсуждение: pgsql: Print a make warning when using GNU make older than 3.80

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(-)