summaryrefslogtreecommitdiff
path: root/toolchain
diff options
context:
space:
mode:
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>2018-12-31 18:52:34 +0100
committerPeter Korsgaard <peter@korsgaard.com>2019-01-01 22:57:21 +0100
commit35f53b0588a905eb0c868e02ccd777cc1fd4203c (patch)
tree2c80e28c28a6f4029dd1e81371bda9aeec181d6d /toolchain
parent2966a39526e8df6bf3bb4c465548e7b2ec81d7c2 (diff)
toolchain/toolchain-external-custom: support Linux 4.20 kernel headers
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'toolchain')
-rw-r--r--toolchain/toolchain-external/toolchain-external-custom/Config.in.options4
1 files changed, 4 insertions, 0 deletions
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