toolchain: add 4.19.x choice for headers
authorBaruch Siach <baruch@tkos.co.il>
Tue, 20 Nov 2018 13:30:06 +0000 (15:30 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 22 Nov 2018 16:20:30 +0000 (17:20 +0100)
commit561770fd032744b4daac186c1ede9bce1d4b4c45
tree19207817f98a8f34f375fd90e39cda4c16fd4de0
parentce697dbdccf6a4f4b3494044d37186417f9c05b6
toolchain: add 4.19.x choice for headers

Signed-off-by: Baruch Siach <baruch@tkos.co.il>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/Config.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options