[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU time: incorrect results
|
From: |
Sven Hartrumpf |
|
Subject: |
Re: GNU time: incorrect results |
|
Date: |
Sat, 02 Oct 2010 11:17:08 +0200 (CEST) |
Bob, thanks for fixing the bug I reported!
And good luck with getting GNU time 1.8 out :-)
I wrote:
> rpm -q -f /usr/bin/time
> util-linux-2.17.2-5.3.x86_64
Just curious: how will your fix reach util-linux because
this is what distributions use (not GNU time directly, it seems)?
Ciao
Sven