toolchain: add 4.12.x choice for headers
authorJoel Stanley <joel@jms.id.au>
Thu, 6 Jul 2017 04:56:16 +0000 (14:26 +0930)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 8 Jul 2017 13:56:30 +0000 (15:56 +0200)
commite9f6a61dd98a3108f57803931d56fcfc972a6bd5
tree5b698aa351396ba8d7c84347d4181971b89accba
parent22dc1c2e555945c9bc8b668cc20c38aa736cd4f2
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>
toolchain/toolchain-common.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options