[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: glibc: Rename linux-headers input to kernel-headers.
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gnu: glibc: Rename linux-headers input to kernel-headers. |
Date: |
Wed, 13 Apr 2016 23:07:00 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Manolis Ragkousis <address@hidden> skribis:
> From 2eefef2dea7fa6c027bfe611cfd6bb3a9d17fd94 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.
I think we also need to update the occurrences of ‘"linux-headers"’ in
cross-base.scm and make-bootstrap.scm, no?
Thanks for working on it!
Ludo’.