diff options
| author | Fabio Estevam <festevam@gmail.com> | 2018-06-04 09:48:25 -0300 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2018-06-04 22:44:42 +0200 |
| commit | 77fd06a1d6aa3819bc898010cf0956ad32f77400 (patch) | |
| tree | b5bdc2c24bea859bb8bcbd245010c6889f421080 /toolchain/toolchain-external | |
| parent | f8d44394777fb9b45befaee3333d974dfe5e745d (diff) | |
| download | buildroot-77fd06a1d6aa3819bc898010cf0956ad32f77400.tar.gz buildroot-77fd06a1d6aa3819bc898010cf0956ad32f77400.zip | |
toolchain: add 4.17.x choice for headers
Signed-off-by: Fabio Estevam <festevam@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.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 2ef1126740..6a9921c149 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_17 + bool "4.17.x" + select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_17 + config BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_16 bool "4.16.x" select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_16 |
