Re: bug in gnu time 1.7
Jim Meyering <[email protected]> Tue, 20 Jan 2015 09:36:10 -0800
| Newsgroups | gmane.comp.gnu.utils.bugs |
|---|---|
| Message-ID | <CA+8g5KEZ1jOhhT5FX3L9M=yc4xcwMyz+569nWyfJUxEUJCANEA@mail.gmail.com> |
On Wed, Nov 27, 2013 at 1:33 PM, Mark Visser <[email protected]> wrote: > 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. Hi David, Can you give us an idea when to expect the next upstream release of GNU Time?