[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-heade
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers. |
|
Date: |
Thu, 04 Feb 2016 22:36:32 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Manolis Ragkousis <address@hidden> skribis:
> From 846930e55796b04b00d61c3d9c15546c978a0af0 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <address@hidden>
> Date: Thu, 4 Feb 2016 15:50:19 +0200
> Subject: [PATCH] gnu: glibc/linux: Rename linux-headers input to
> kernel-headers.
>
> * gnu/packages/base.scm (glibc/linux)[propagated-inputs]: Use a kernel
> agnostic name for the kernel headers.
Sounds like something we could adopt on the next core-updates cycle. We
should make sure no “linux-headers” uses remain.
Thanks,
Ludo’.