toolchain: add 4.17.x choice for headers
authorFabio Estevam <festevam@gmail.com>
Mon, 4 Jun 2018 12:48:25 +0000 (09:48 -0300)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 4 Jun 2018 20:44:42 +0000 (22:44 +0200)
commit77fd06a1d6aa3819bc898010cf0956ad32f77400
treeb5bdc2c24bea859bb8bcbd245010c6889f421080
parentf8d44394777fb9b45befaee3333d974dfe5e745d
toolchain: add 4.17.x choice for headers

Signed-off-by: Fabio Estevam <festevam@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
toolchain/Config.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options