]> granicus.if.org Git - postgresql/commit
Print a make warning when using GNU make older than 3.80
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 3 Nov 2010 15:30:59 +0000 (17:30 +0200)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 3 Nov 2010 15:33:04 +0000 (17:33 +0200)
commitdd21f0b047078ae724c0de4bc87b175154a83707
treec9f6d9675442cdfd6dc9753ec63d0faae317ffe2
parent61d6dd0c03eb4da654f435097cd0bf1da11c3272
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