toolchain: add 4.0.x choice for headers
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Mon, 13 Apr 2015 13:00:23 +0000 (10:00 -0300)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 13 Apr 2015 20:14:42 +0000 (22:14 +0200)
commite714ee9412ea873af68a48edbe60f48029728186
tree938940ac648310c616dac3a9336b9652ff6f461f
parentf3b8056960024151b07fc3e3fa1d12d15ee979ea
toolchain: add 4.0.x choice for headers

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
toolchain/toolchain-common.in
toolchain/toolchain-external/Config.in