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 | |
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')
-rw-r--r-- | configs/ptxconfig | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configs/ptxconfig b/configs/ptxconfig index 904ca37..ebfd7a2 100644 --- a/configs/ptxconfig +++ b/configs/ptxconfig @@ -364,9 +364,7 @@ PTXCONF_GCCLIBS_CXX=y # PTXCONF_GCCLIBS_LIBUBSAN is not set PTXCONF_ICONV=y PTXCONF_GLOBAL_IPV6=y -PTXCONF_KERNEL_HEADER=y -PTXCONF_KERNEL_HEADER_VERSION="${PTXCONF_KERNEL_VERSION}" -PTXCONF_KERNEL_HEADER_MD5="${PTXCONF_KERNEL_MD5}" +# PTXCONF_KERNEL_HEADER is not set # PTXCONF_KERNEL is not set PTXCONF_GLOBAL_LARGE_FILE=y PTXCONF_LIBC=y |