Re: pgsql: Allow extensions to install built as well as unbuilt headers.

[Andrew Gierth]

>>>>> "Michael" == Michael Paquier <mich...@paquier.xyz> writes:

 Michael> prairiedog is unhappy with this commit:

What version of GNU Make is on there, do you know? Tom? I don't see it
mentioned in the output anywhere.

-- 
Andrew.