diff options
author | Yann E. MORIN <yann.morin.1998@free.fr> | 2018-10-04 22:00:30 +0200 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2018-10-07 21:45:16 +0200 |
commit | d220ce6d35355f1a0fa0e8ed19f3e56570bb7abe (patch) | |
tree | 185239957dc5e522af67386b7ca4e863224c240f /package | |
parent | 1b3c43f7dab775ed801c3f4ca67eb7032b913ba3 (diff) | |
download | buildroot-d220ce6d35355f1a0fa0e8ed19f3e56570bb7abe.tar.gz buildroot-d220ce6d35355f1a0fa0e8ed19f3e56570bb7abe.zip |
package/linux-headers: really drop the 4.17 choice
Currently, the build fails when the kernel headers 4.17 are selected:
package/linux-headers/linux-headers.mk:149: *** LINUX_HEADERS_SITE
cannot be empty when LINUX_HEADERS_SOURCE is not. Stop.
This is caused by an hickup during the last merge of the next branch,
where the value for 4.17 got dropped from BR2_DEFAULT_KERNEL_HEADERS,
but the choice entry was left in.
The correct fix against that hickup would be to restore the 4.17 value.
But since 4.17 is no longer maintained, the proper fix is to really drop
4.17 altogether.
For good this time! ;-)
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Peter Korsgaard <peter@korsgaard.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'package')
-rw-r--r-- | package/linux-headers/Config.in.host | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/package/linux-headers/Config.in.host b/package/linux-headers/Config.in.host index 99f2954169..7c9c1d0fb0 100644 --- a/package/linux-headers/Config.in.host +++ b/package/linux-headers/Config.in.host @@ -56,10 +56,6 @@ config BR2_KERNEL_HEADERS_4_16 bool "Linux 4.16.x kernel headers" select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_16 -config BR2_KERNEL_HEADERS_4_17 - bool "Linux 4.17.x kernel headers" - select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_17 - config BR2_KERNEL_HEADERS_4_18 bool "Linux 4.18.x kernel headers" select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_18 |