Re: bug in gnu time 1.7

Thanks, and sorry for the noise.


On Wed, Nov 27, 2013 at 4:22 PM, Bob Proulx <[email protected]> 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
>