toolchain: add 3.19 choice for headers
authorPeter Korsgaard <peter@korsgaard.com>
Mon, 9 Feb 2015 12:31:23 +0000 (13:31 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 9 Feb 2015 12:31:23 +0000 (13:31 +0100)
commit81366edd7c20f395a4269a243eca9cbbd995a48b
tree8ef8b9da1a3a04147217812916586788959dc075
parente741c161a49db2bc09c7ccd4fd1f1449a32fe294
toolchain: add 3.19 choice for headers

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/toolchain-common.in
toolchain/toolchain-external/Config.in