toolchain: add 4.18.x choice for headers
authorBernd Kuhls <bernd.kuhls@t-online.de>
Sun, 19 Aug 2018 19:35:54 +0000 (21:35 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 20 Aug 2018 15:16:03 +0000 (17:16 +0200)
commit7f62d8122bc42b84608cad34fb005b4870c143d5
treef9da5d85cdc52e5a5760cfa2d7ee1401d5bf7c5d
parent563246b262bc513c650fb8f14383da02adda71d1
toolchain: add 4.18.x choice for headers

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
toolchain/Config.in
toolchain/toolchain-external/toolchain-external-custom/Config.in.options