toolchain: add 4.16.x choice for headers
authorBernd Kuhls <bernd.kuhls@t-online.de>
Sun, 8 Apr 2018 18:26:43 +0000 (20:26 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 9 Apr 2018 19:15:04 +0000 (21:15 +0200)
commit792ead7996b125f912028201abfc7f8c4df1c762
treeaa40a3aa29f42d3da109b00408fc176c3f1d99cc
parent4bed9dcd7ba408120606eddd40e905bfc9a5787c
toolchain: add 4.16.x choice for headers

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Tested-by: Luca Ceresoli <luca@lucaceresoli.net>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
toolchain/Config.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options