Martijn van Oosterhout <> writes:
> I would like a pedantic mode, but the method of activation is a tricky
> issue. You want it to be 'on' for normal users but 'off' for automatic
> build scripts.

A quiet mode would work better, because it could be on by default for 
both cases.  However, people may be too used to expecting to see chatter
from configure scripts --- anyone who's used a few before would probably
think the script was hung :-(

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 3: Have you checked our extensive FAQ?


Reply via email to