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

[Siddharth Agarwal]

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.
(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.

[1] http://docs.python.org/2/library/os.html#os.times