diff options
| author | Joel Stanley <joel@jms.id.au> | 2017-07-06 14:26:16 +0930 |
|---|---|---|
| committer | Peter Korsgaard <peter@korsgaard.com> | 2017-07-08 15:56:30 +0200 |
| commit | e9f6a61dd98a3108f57803931d56fcfc972a6bd5 (patch) | |
| tree | 5b698aa351396ba8d7c84347d4181971b89accba /toolchain/toolchain-external | |
| parent | 22dc1c2e555945c9bc8b668cc20c38aa736cd4f2 (diff) | |
| download | buildroot-e9f6a61dd98a3108f57803931d56fcfc972a6bd5.tar.gz buildroot-e9f6a61dd98a3108f57803931d56fcfc972a6bd5.zip | |
toolchain: add 4.12.x choice for headers
Signed-off-by: Joel Stanley <joel@jms.id.au>
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 d1b76c32ac..ae343ddad5 100644 --- a/toolchain/toolchain-external/toolchain-external-custom/Config.in.options +++ b/toolchain/toolchain-external/toolchain-external-custom/Config.in.options @@ -93,6 +93,10 @@ choice m = ( LINUX_VERSION_CODE >> 8 ) & 0xFF p = ( LINUX_VERSION_CODE >> 0 ) & 0xFF +config BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_12 + bool "4.12.x" + select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_12 + config BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_11 bool "4.11.x" select BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_11 |
