Hello Rene,
I pushed the patch to core-updates.
Thank you,
Manolis
On 03/13/17 10:31, Efraim Flashner wrote:
> more (if (hurd ...)) patches does also make it easier to merge in
> changes for those not using hurd when the time comes, and it allows
> those actively using hurd to make changes to more low-level packages
> without worrying about how it affects the othe
:00 2001
> >> From: rennes
> >> 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.
> >>
ren...@openmailbox.org 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 i
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-
Hello Ludo,
On 03/11/2017 01:31 PM, Ludovic Courtès wrote:
> Hi!
>
> ren...@openmailbox.org skribis:
>
>> From f76585a44afdc41187df768eec79fb723713cf0c Mon Sep 17 00:00:00 2001
>> From: rennes
>> Date: Tue, 21 Feb 2017 23:21:49 -0600
>> Subject: [PATC
Hi!
ren...@openmailbox.org skribis:
> From f76585a44afdc41187df768eec79fb723713cf0c Mon Sep 17 00:00:00 2001
> From: rennes
> Date: Tue, 21 Feb 2017 23:21:49 -0600
> Subject: [PATCH] gnu: grep: Fix for gnulib library.
>
> * gnu/packages/patches/grep-gnulib-lo
1
From: rennes
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/local.mk (dist_patch_DATA): Add it.
---
gnu/local.mk
