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
!