[Top][All Lists]

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

Re: GNU time: incorrect results

From: sebastian . kurscheid
Subject: Re: GNU time: incorrect results
Date: Mon, 11 Nov 2013 04:57:19 -0800 (PST)
User-agent: G2/1.0

On Saturday, October 2, 2010 8:27:52 PM UTC+2, Bob Proulx wrote:
> Sven Hartrumpf wrote:
> > Bob, thanks for fixing the bug I reported!
> > And good luck with getting GNU time 1.8 out :-)
> Yes, well, we will see!  But I am very hopeful. :-)
> > 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)?
> It should.  Since util-linux on SuSE uses GNU time as one of the
> components then I expect that it would eventually flow into it.  Since
> time is such a small program I can understand why it would be bundled
> into a larger collection of other small programs.  Note however that
> other distributions such as Debian and Red Hat package time into its
> own package.  The way that it is packaged is not universal.
> Bob

It seems the patch hasn't made it into util-linux? I can't even seem to find 
"time" included in the latest version of it (2.23). Anyway, with the mentioned 
fix above I created my private patch, so thanks for the information!


reply via email to

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