[Top][All Lists]

[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 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,

reply via email to

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