Re: Verbosity of genbki.pl

On 4/9/18 15:02, Tom Lane wrote:
> Andres Freund <andres@anarazel.de> writes:
>> On 2018-04-08 13:33:42 -0400, Tom Lane wrote:
>>> Traditionally genbki.pl has printed "Writing foo" for every file
>>> it writes out.
> 
>>> 2. Print just one message like "Generating postgres.bki and related
>>> files", and I guess a second one for fmgroids.h and related files.
> 
>> +0.5.
> 
> Hearing no votes against, done that way.

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.

-- 
Peter Eisentraut              http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services