toolchain: add 4.1.x choice for headers
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Mon, 22 Jun 2015 13:11:03 +0000 (10:11 -0300)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 22 Jun 2015 16:19:34 +0000 (18:19 +0200)
commitdae7d8aa5db31c4f2a7d7e370d98b88a169de62c
tree36bb97bcf6a7887cc2d3e4ad6db830802b32f899
parent260d4461479f99baaeff802867ee6977e48a95ef
toolchain: add 4.1.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