Re: bug in gnu time 1.7

[Bob Proulx]

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