toolchain: add 4.13.x choice for headers
authorFabio Estevam <festevam@gmail.com>
Sun, 3 Sep 2017 22:58:31 +0000 (19:58 -0300)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 7 Sep 2017 19:06:03 +0000 (21:06 +0200)
commit1576b892348725db1c3e6f1a89bb15a5e93dba7e
tree62339434ed395aa0b6df3fb3fb373a6b1c35ebd3
parent19af2fe70cf8764139bcf16e2b364126cfa2456b
toolchain: add 4.13.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