Re: how to handle missing "prove"

Peter Eisentraut <peter_e@gmx.net> writes:
> On 11/3/14 3:11 PM, Tom Lane wrote:
>> If there's a commit that goes with this statement, you neglected to push it...

> Are you not seeing this in configure.in:

>   AC_CHECK_PROGS(PROVE, prove)
>   if test -z "$PROVE"; then
>     AC_MSG_ERROR([prove not found])

Oh, duh.  I read your message to mean that you'd just pushed a change
for that, not that it already did it.  Nevermind ...
        regards, tom lane