Re: timevar: further work

[Akim Demaille]

> Le 10 oct. 2018 à 07:29, Akim Demaille <akim.demai...@gmail.com> a écrit :
> 
> It seems that both choices are fairly equivalent.  That’s what I
> can see looking at macOS and GNU/Linux.  I have no idea about the
> other platforms.

I should have stated that getrusage is more than just clocks:
it gives measures about other resources.  So it’s more open to
other reports than times is, if it happens some day that someone
is interested in adding that to timevar.