toolchain: add 3.17 choice for headers
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Mon, 6 Oct 2014 11:44:39 +0000 (08:44 -0300)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 6 Oct 2014 14:24:32 +0000 (16:24 +0200)
commit2d312b7b61c98716535513a2743a85d4d7e8a084
tree43160a03673dcca3eaa18ea38eb9d37730221b35
parentd58da2a9f4c64e363ba8a9fa65fc0935bfd74a91
toolchain: add 3.17 choice for headers

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/toolchain-common.in
toolchain/toolchain-external/Config.in