On Apr 26, 2005, at 11:12 PM, Matt Thomas wrote:
It would be nice if bootstrap emitted timestamps when it was started
and when it completed a stage so one could just look at the make output.

You can get them differenced for free by using:

    time make boostrap

and written to a log file with

    nohup time make boostrap

!



Reply via email to