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

Andrew Gierth <andrew@tao11.riddles.org.uk> writes:
> "Michael" == Michael Paquier <michael@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.

$ make -v
GNU Make 3.80
Copyright (C) 2002  Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.

            regards, tom lane