[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: timevar: further work

From: Akim Demaille
Subject: Re: timevar: further work
Date: Wed, 10 Oct 2018 08:50:06 +0200

> Le 10 oct. 2018 à 07:29, Akim Demaille <address@hidden> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]