[PATCH 3 of 3] run-tests: add --time option to log times for each test

[Matt Mackall]

On Mon, 2012-11-12 at 13:08 -0800, Siddharth Agarwal wrote:
> On 11/12/2012 08:00 AM, Matt Mackall wrote:
> > Wall time by itself isn't terribly useful, especially when using -j. For
> > instance, on my 2 core, 4 thread laptop i7, I find that -j 8 runs
> > through the test suite fastest.
> >
> > Much more interesting is user+sys time from os.times, though it's often
> > useful to have these split out.
> 
> I did consider that while writing the patch, but decided not to do so 
> because:
> (1) User+system time doesn't capture time spent waiting on I/O, which 
> seemed to me to be important.

And yet, without user+sys, wall time is not very meaningful.

> (2) We'd need to figure out user+sys time of the process's children. The 
> documentation for os.times() [1] indicates that this can't be done portably.

And yet, without user+sys, wall time is not very meaningful.

Please consider adding user and sys or user+sys to make this feature
useful.

-- 
Mathematics is the supreme nostalgia of our time.