toolchain: add 4.2.x choice for headers
authorPeter Korsgaard <peter@korsgaard.com>
Tue, 1 Sep 2015 08:05:20 +0000 (10:05 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 1 Sep 2015 08:05:20 +0000 (10:05 +0200)
commit8dc68293374ff9b5e20dd5ad68820af62d7358fe
treef2ceb5ef8765019c09984e7b980a1e4129daf9ba
parentcfc70a48027b1b56231df62a30a7da888f33e3ce
toolchain: add 4.2.x choice for headers

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