Re: bug in gnu time 1.7

[Jim Meyering]

On Wed, Jan 21, 2015 at 5:53 PM, David C Niemi <address@hidden> wrote:
> On 01/21/2015 06:10 PM, Jim Meyering wrote:
>>
>> On Wed, Jan 21, 2015 at 1:30 PM, David C Niemi <address@hidden> wrote:
>>>
>>> I'm trying to set GNU Time up in Git. Will let you know if I succeed.
>>
>> Glad to hear it.
>>
>> For a project like GNU time, savannah.gnu.org should host the primary
>> repository.  Let me know if you'd like a hand.
>
>
> Thanks for the help, Karl!  There was a git checkbox I needed to check...
>
> I think I've got it.  I put in versions 1.7 and 1.7.1 (GPLv3) and they are
> tagged.
>
> You should be able to clone it:
>
> git clone git://git.savannah.gnu.org/time.git

Thank you.
Are you planning to make it build with modern autoconf and automake?