Re: [PATCH] gnu: glibc: Rename linux-headers input to kernel-headers.

[Ludovic Courtès]

Manolis Ragkousis <address@hidden> skribis:

> From c51c4fd6b489c07d8577952114d4dc77a2b20049 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <address@hidden>
> Date: Sun, 10 Apr 2016 21:20:51 +0300
> Subject: [PATCH] gnu: glibc: Rename linux-headers input to kernel-headers.
>
> * gnu/packages/base.scm (glibc)[propagated-inputs]: Use a kernel
>   agnostic name for the kernel headers.
>   [arguments]: Adjust accordingly.
> * gnu/packages/commencement.scm (glibc-final-with-bootstrap-bash)
>   [propagated-inputs]: Adjust accordingly.
> * gnu/packages/cross-base.scm (cross-gcc-arguments)[arguments]: Adjust
>   accordingly.
>   (cross-gcc)[native-inputs]: Adjust accordingly.
> * gnu/packages/make-bootstrap.scm (%glibc-stripped)[arguments]: Adjust
>   accordingly.
>   [inputs]: Adjust accordingly.

LGTM, OK for ‘core-updates’!

Thank you, and sorry for the looong delay!

Ludo’.