[PATCH] MI: new timing command

[Nick Roberts]

 > > OK, this patch gives wallclock, user and system time in the output.
 > > In the case when getrusage is not available it the output of get_run_time
 > > is used for the wallclock field and user and system time are given as 0.0.
 > 
 > Thanks.
 > 
 > > Can you please test it for this latter case?
 > 
 > Will do, but it could take me a few days before I have enough free
 > time to try the patch.

Any progress?

-- 
Nick                                           http://www.inet.net.nz/~nickrob