bug-gnu-utils
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bug in gnu time 1.7


From: Jim Meyering
Subject: Re: bug in gnu time 1.7
Date: Tue, 20 Jan 2015 09:36:10 -0800

On Wed, Nov 27, 2013 at 1:33 PM, Mark Visser <address@hidden> wrote:
> 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.

Hi David,

Can you give us an idea when to expect the next upstream release of GNU Time?



reply via email to

[Prev in Thread] Current Thread [Next in Thread]