toolchain: add necessary options to support 4.20 kernel headers
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Mon, 31 Dec 2018 17:52:31 +0000 (18:52 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 1 Jan 2019 21:56:16 +0000 (22:56 +0100)
commit649883d2c9957b7a7fcf81c4475f848ad8865ca1
treea50b0bbcd7a09fd3d7d051d40e7194d927cf997d
parent608b3fc885b919e8e28c812991e46f0256328c2a
toolchain: add necessary options to support 4.20 kernel headers

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
toolchain/Config.in