Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> Maybe we can take another look at this. Right now, make -s world
> produces *only* the following output:
> $ make -s world
> Generating BKI files and symbol definition headers...
> Generating fmgrtab.c, fmgroids.h, and fmgrprotos.h...
> PostgreSQL, contrib, and documentation successfully made. Ready to install.
> That seems kind of inconsistent and silly. I suggest we remove the
> output from these scripts.
FWIW, that'd be fine with me. Teodor spoke against removing that output
entirely, but perhaps he's the only one who thinks that way. For myself,
I've gotten mighty used to running "make -s" and expecting no output
if all is well. If I wanted to see what was getting rebuilt, I wouldn't
use -s.
regards, tom lane