Re: timevar: 3/3: use clock_gettime to get wall clock time

[Akim Demaille]

> Le 14 oct. 2018 à 09:15, Bruno Haible <br...@clisp.org> a écrit :
> 
> Hi Akim,
> 
> Looks good, except for one copy&paste mistake:
>> +      fprintf (fp, "%11.6f (%2d%%)\n", tv->elapsed.wall * 1e-9, sys);
> ‘sys' -> 'wall'

🧠🔫

Fixed.  Can I push it?