[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in gnu time 1.7
From: |
Mark Visser |
Subject: |
Re: bug in gnu time 1.7 |
Date: |
Wed, 27 Nov 2013 16:33:55 -0500 |
Thanks, and sorry for the noise.
On Wed, Nov 27, 2013 at 4:22 PM, Bob Proulx <address@hidden> wrote:
> Mark Visser wrote:
> > max rss is reported to be 4 times larger than it actually is:
> >
> http://stackoverflow.com/questions/10035232/maximum-resident-set-size-does-not-make-sense
> > original bug report:
> > https://groups.google.com/forum/#!topic/gnu.utils.help/u1MOsHL4bhg
>
> Yes. That is an old well known problem. The problem is that the
> official GNU time maintainer isn't MIA. He will respond to email.
>
> http://lists.gnu.org/archive/html/bug-gnu-utils/2013-02/msg00020.html
>
> But he has never made a release.
>
> http://ftp.gnu.org/gnu/time/
>
> Hope springs eternal though.
>
> > patch:
>
> I maintain patches for time-1.7 for Debian. These patches are
> available for viewing here:
>
> http://patch-tracker.debian.org/package/time/1.7-24
>
> Of which the two you are most interested in are these:
>
>
> http://patch-tracker.debian.org/patch/series/view/time/1.7-24/rusage-portability.patch
>
>
> http://patch-tracker.debian.org/patch/series/view/time/1.7-24/ru_maxrss.patch
>
> However the others are also important and useful.
>
> Bob
>