Re: [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers" input to "kernel-headers".

[Ludovic Courtès]

Manolis Ragkousis <address@hidden> skribis:

> Updated all the files referring to linux-headers in gnu/packages. The
> part of the patch referring to
> glibc/hurd was kept out, as there is no glibc/hurd in master.
>
> Is it okay to push it to core-updates?

Sorry, because of delay on my side, this will have to go to ‘wip-hurd’.
We can merge it in the next ‘core-updates’ though (hopefully we can
close and reopen ‘core-updates’ in a few days.)

> From b5d724cae502e8bf664b71045f4053e6d35a98df Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <address@hidden>
> Date: Mon, 7 Sep 2015 14:01:51 +0300
> Subject: [PATCH] gnu: packages: Change label from "linux-headers" to
>  "kernel-headers".
>
> * gnu/packages/base.scm (glibc)[propagated-inputs, arguments]: Change to 
> "kernel-headers".
> * gnu/packages/commencement.scm 
> (glibc-final-with-bootstrap-bash)[propagated-inputs]: Same
> * gnu/packages/cross-base.scm (cross-gcc)[native-inputs]: Same.
>   (cross-libc)[propagated-inputs, arguments]: Same.
> * gnu/packages/make-bootstrap.scm (%glibc-stripped)[inputs, arguments]: Same.

LGTM.

Thanks!

Ludo’.