[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: update gnulib to latest
|
From: |
Bernhard Voelker |
|
Subject: |
Re: [PATCH] maint: update gnulib to latest |
|
Date: |
Tue, 24 Jul 2018 22:40:35 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.0 |
On 07/24/2018 04:08 PM, Eric Blake wrote:
> On 07/19/2018 12:22 PM, Bernhard Voelker wrote:
>> On 06/25/2018 06:48 PM, Pádraig Brady wrote:
>>> `make gnulib-sync` would definitely be worth doing.
>>
>> Done in the attached. WDYT?
>
> Can we move this to gnulib's maint.mk for sharing with other projects?
Ideally yes - the problem is that the list of files to sync from gnulib
may be different for each project, and even the basenames of some
file sometimes do not match:
> + && cp -v gnulib/doc/COPYINGv3 COPYING \
Any idea how to work around that?
Thanks & have a nice day,
Berny