[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnu: grep: Fix for gnulib library.

From: Ludovic Courtès
Subject: Re: [PATCH] gnu: grep: Fix for gnulib library.
Date: Mon, 13 Mar 2017 09:27:32 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

address@hidden skribis:

> Hello Ludovic, Manolis,
>>> Looks like we missed this ‘core-updates’ cycle.  :-/
>>> To apply it without triggering a full rebuild, you could instead add a
>>> phase that invokes ‘patch’ to apply it, only when the
>>> cross-compilation
>>> target or system is GNU/Hurd.
>>> Like:
>>>   ,@(if (gnu/hurd?)
>>>         `((add-before 'configure 'patch …))
>>>         '())  ;nothing
>>> Could you try that?
>> Even though this would work, maybe we should wait for the next
>> core-updates circle in order to avoid more (if (hurd)..) patches.
> Yes, we can wait for the next cycle.

Sure, either way is fine with me.


reply via email to

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