diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2017-09-30 15:52:45 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2017-10-12 17:11:25 +0200 |
commit | 625eb6f7d8715984c97a0c3c746f7a62aa3ce3be (patch) | |
tree | 8b22a1879a882e56403f90fb7273ebcac229b9e8 /configs/platform-v7a/kernelconfig | |
parent | 0e5c8c3c3a2f941daf751222c311c7f2a1c82c85 (diff) | |
download | DistroKit-625eb6f7d8715984c97a0c3c746f7a62aa3ce3be.tar.gz DistroKit-625eb6f7d8715984c97a0c3c746f7a62aa3ce3be.tar.xz |
ptxconfig: disable kernel headers
The kernel header from the toolchain are new enough here.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to 'configs/platform-v7a/kernelconfig')
0 files changed, 0 insertions, 0 deletions