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

[rennes]

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.