From 35f53b0588a905eb0c868e02ccd777cc1fd4203c Mon Sep 17 00:00:00 2001 From: Thomas Petazzoni Date: Mon, 31 Dec 2018 18:52:34 +0100 Subject: [PATCH] toolchain/toolchain-external-custom: support Linux 4.20 kernel headers Signed-off-by: Thomas Petazzoni Signed-off-by: Peter Korsgaard --- .../toolchain-external-custom/Config.in.options | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/toolchain/toolchain-external/toolchain-external-custom/Config.in.options b/toolchain/toolchain-external/toolchain-external-custom/Config.in.options index 288fc3f3e0..08a79ee4d9 100644 --- a/toolchain/toolchain-external/toolchain-external-custom/Config.in.options +++ b/toolchain/toolchain-external/toolchain-external-custom/Config.in.options @@ -123,6 +123,10 @@ choice m = ( LINUX_VERSION_CODE >> 8 ) & 0xFF p = ( LINUX_VERSION_CODE >> 0 ) & 0xFF +config BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_20 + bool "4.20.x" + select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_20 + config BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_19 bool "4.19.x" select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_19