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/Config.in | |
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/Config.in')
-rw-r--r-- | toolchain/Config.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/toolchain/Config.in b/toolchain/Config.in index 3936fc4511..3a53a32a6d 100644 --- a/toolchain/Config.in +++ b/toolchain/Config.in @@ -336,10 +336,15 @@ config BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_16 bool select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_15 +config BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_17 + bool + select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_16 + # This order guarantees that the highest version is set, as kconfig # stops affecting a value on the first matching default. config BR2_TOOLCHAIN_HEADERS_AT_LEAST string + default "4.17" if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_17 default "4.16" if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_16 default "4.15" if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_15 default "4.14" if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_14 |