Andrew Dunstan <andrew(dot)dunstan(at)2ndquadrant(dot)com> writes:
> Can someone please explain to me why we have this in Makefile.global.in?
> (from commit e9c81b60 )
> PROVE_FLAGS =
Before that commit it was like
PROVE_FLAGS = --verbose
which had some value. I agree that now we'd be better off to not
set it at all, especially since the convention now appears to be that
automatically-supplied prove options should be set in PG_PROVE_FLAGS.
I'd suggest that the comment just above be replaced by something like
# User-supplied prove flags can be provided in PROVE_FLAGS.
regards, tom lane