On 4/9/18 15:02, Tom Lane wrote: > Andres Freund <and...@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
