[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.
- Re: timevar: further work, Akim Demaille, 2018/10/02
- Re: timevar: further work, Bruno Haible, 2018/10/04
- Re: timevar: further work, Akim Demaille, 2018/10/10
- Re: timevar: further work,
Akim Demaille <=
- Re: timevar: further work, Bruno Haible, 2018/10/10
- Re: timevar: further work, Bruno Haible, 2018/10/10
- Re: timevar: further work, Akim Demaille, 2018/10/10
- Re: timevar: further work, Bruno Haible, 2018/10/10
- Re: timevar: further work, Akim Demaille, 2018/10/11
- Re: timevar: further work, Bruno Haible, 2018/10/11
- Re: timevar: further work, Akim Demaille, 2018/10/11
- Re: timevar: further work, Akim Demaille, 2018/10/11
- Re: timevar: 1/3: expect that getrusage is available, Akim Demaille, 2018/10/12
- Re: timevar: 1/3: expect that getrusage is available, Bruno Haible, 2018/10/12