bug-gnulib
[Top][All Lists]
Advanced

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

Re: timevar: 2/3: improve the output format


From: Bruno Haible
Subject: Re: timevar: 2/3: improve the output format
Date: Fri, 12 Oct 2018 17:31:53 +0200
User-agent: KMail/5.1.3 (Linux/4.4.0-137-generic; KDE/5.18.0; x86_64; ; )

Hi Akim,

> I have used the format you suggested to display the times.

Thanks, looks great, and support programs that terminate in < 0.1 seconds.

> I’m not sure we should specify the resolution, it kinda of is displayed
> by the figures themselves

It's good enough like this. The actual resolution might vary a bit depending
on the OS and whether the machine is virtualized or not (but who wants to
do benchmarking in a virtual machine anyway). The number of decimal places
is approximately right, and it will take a couple of years until we need
to adjust this choice.

Bruno




reply via email to

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