On 09/08/2012 04:54 PM, Tom Lane wrote:
> Andrew Dunstan <andrew@dunslane.net> writes:
>> And it's the stock Fedora build of make.
> Which Fedora branch exactly?
>
> The package version I was trying to reproduce with here is
> make-3.82-8.fc16.x86_64.
Same:
$ rpm -q make make-3.82-8.fc16.x86_64
cheers
andrew