Re: [PATCH] MI: new timing command

Nick Roberts
2007-01-16T05:57:34Z

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