toolchain: add 4.6.x choice for headers
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Mon, 16 May 2016 11:58:12 +0000 (08:58 -0300)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 16 May 2016 19:15:18 +0000 (21:15 +0200)
commit51800d20b98e69b7572e607093c548558a9cf493
tree744c5170d8bc311223fde08d017fc72b383edb47
parent316986e3363499a3d8c392b6de205b07896b9a6d
toolchain: add 4.6.x 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