[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: update gnulib to latest
|
From: |
Pádraig Brady |
|
Subject: |
Re: [PATCH] maint: update gnulib to latest |
|
Date: |
Mon, 25 Jun 2018 09:48:02 -0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
On 25/06/18 01:24, Bernhard Voelker wrote:
> On 06/24/2018 11:21 PM, Pádraig Brady wrote:
>> * gnulib: Update to latest.
>
> The merge of 'tests/init.sh' is missing ... probably already from
> a previous gnulib update.
That must have been from a previous update.
> Do we have a list of files we usually sync from gnulib?
> bootstrap, ...
>
> Maybe we should have a make target to copy those files over,
> and a syntax-check rule to verify?
`make gnulib-sync` would definitely be worth doing.
cheers,
Pádraig