Required make version

There is a build farm failure now because (apparently) an old make version:

http://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=dawn_bat&dt=2008-02-26%2019:00:01

The new amended backend linking code needs GNU make 3.80, released 2002-10-03.  
Should we just require that?  I think the PARTIAL_LINKING code path should 
still work without it.

Btw., the previously required version was GNU make 3.78, released 1999-09-22.  
This requirement has (implicitly) existed for quite a while.

Comments?

-- 
Peter Eisentraut
http://developer.postgresql.org/~petere/