Re: GNU time: incorrect results

[sebastian . kurscheid]

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!

Sebastian