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

[Ludovic Courtès]

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.

Ludo’.