toolchain/toolchain-external-custom: support Linux 4.20 kernel headers
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 31 Dec 2018 17:52:34 +0000 (18:52 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 1 Jan 2019 21:57:21 +0000 (22:57 +0100)
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/toolchain-external/toolchain-external-custom/Config.in.options

index 288fc3f3e0802e4871b4cdcacd8a5c1e7cb2c950..08a79ee4d95883f9e3e26370d5b120d4055c386b 100644 (file)
@@ -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