[Top][All Lists]

[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)?


reply via email to

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