diff options
author | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2018-12-31 18:52:34 +0100 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2019-01-01 22:57:21 +0100 |
commit | 35f53b0588a905eb0c868e02ccd777cc1fd4203c (patch) | |
tree | 2c80e28c28a6f4029dd1e81371bda9aeec181d6d /toolchain/toolchain-external | |
parent | 2966a39526e8df6bf3bb4c465548e7b2ec81d7c2 (diff) | |
download | buildroot-35f53b0588a905eb0c868e02ccd777cc1fd4203c.tar.gz buildroot-35f53b0588a905eb0c868e02ccd777cc1fd4203c.zip |
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/toolchain-external')
-rw-r--r-- | toolchain/toolchain-external/toolchain-external-custom/Config.in.options | 4 |
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 |