>> I rather suggest to provide this as a configuration option so that
>> builds that need this functionality can access it.
>
> OK. If it's an environment variable then this comes for free by
> just setting that variable. How about the attached patch?
Basically, it looks good. However, I'm not convinced that I want to
*always* suppress timestamps (and a setting in a user's environment is
more or less permanent). Instead, I prefer good old command line
options to control this behaviour.
Comments?
Werner
