[Top][All Lists]

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

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

From: rennes
Subject: Re: [PATCH] gnu: grep: Fix for gnulib library.
Date: Sat, 11 Mar 2017 09:56:20 -0600
User-agent: Roundcube Webmail/1.0.6

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.


  ,@(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.

reply via email to

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