Re: bug in gnu time 1.7

[David C Niemi]

I'm trying to set GNU Time up in Git. Will let you know if I succeed.

I made a release a couple of years ago but failed to get it onto GNU's 
server.

David

On 01/20/2015 12:36 PM, Jim Meyering wrote:
> 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?