toolchain: add 4.11.x choice for headers
authorSamuel Martin <s.martin49@gmail.com>
Mon, 1 May 2017 10:24:37 +0000 (12:24 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 1 May 2017 18:54:42 +0000 (20:54 +0200)
commita381d855053ef0a6d89cfcd59a4f990b6d41b0fa
treed3362c58566e43736ebc9159301a4b20722336df
parent0de48480ecfa9023137ceef7ede83f517343b2a5
toolchain: add 4.11.x choice for headers

Signed-off-by: Samuel Martin <s.martin49@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/toolchain-common.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options