toolchain: add 4.15.x choice for headers
authorFabio Estevam <festevam@gmail.com>
Sun, 28 Jan 2018 22:34:54 +0000 (20:34 -0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 28 Jan 2018 22:48:21 +0000 (23:48 +0100)
commitea0f6e8f06be4e405b1610b0e2dbde70c1d5d80a
tree615012909eaded5c17f72a3c9a46aa1b925c13fe
parentca0ef6c3c0de2a7e7415c2617d1b44b0cfd75e40
toolchain: add 4.15.x choice for headers

Signed-off-by: Fabio Estevam <festevam@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/toolchain-common.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options