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
!