[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: Sat, 11 Mar 2017 12:31:13 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)


address@hidden skribis:

> From f76585a44afdc41187df768eec79fb723713cf0c Mon Sep 17 00:00:00 2001
> From: rennes <address@hidden>
> Date: Tue, 21 Feb 2017 23:21:49 -0600
> Subject: [PATCH] gnu: grep: Fix for gnulib library.
> * gnu/packages/patches/grep-gnulib-lock.patch: New file.                      
> * gnu/ (dist_patch_DATA): Add it.

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?

Also please avoid reindenting the package at the same time as it makes
the patch a bit noisier.  :-)


reply via email to

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