diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2016-01-25 21:30:44 +0100 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2016-01-25 21:35:21 +0100 |
commit | 72dfc1f126f19ac94591712f9a5f198a588c928f (patch) | |
tree | 3b403118fd98eee6217f7f1e94146bcebe1525bf /configs/ptxconfig | |
parent | 50a4d509c6705ea037e047a4ec8ee39465ae9ee3 (diff) | |
download | DistroKit-72dfc1f126f19ac94591712f9a5f198a588c928f.tar.gz DistroKit-72dfc1f126f19ac94591712f9a5f198a588c928f.tar.xz |
kernel headers: use headers from running kernel
Instead of using a fixed kernel header revision (which results in
downloading and extracting two different kernels), use the kernel
headers from the currently used kernel.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Diffstat (limited to 'configs/ptxconfig')
-rw-r--r-- | configs/ptxconfig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configs/ptxconfig b/configs/ptxconfig index d457b49..ce772b7 100644 --- a/configs/ptxconfig +++ b/configs/ptxconfig @@ -328,8 +328,8 @@ PTXCONF_GCCLIBS_CXX=y PTXCONF_ICONV=y PTXCONF_GLOBAL_IPV6=y PTXCONF_KERNEL_HEADER=y -PTXCONF_KERNEL_HEADER_VERSION="4.0" -PTXCONF_KERNEL_HEADER_MD5="a86916bd12798220da9eb4a1eec3616d" +PTXCONF_KERNEL_HEADER_VERSION="${PTXCONF_KERNEL_VERSION}" +PTXCONF_KERNEL_HEADER_MD5="${PTXCONF_KERNEL_MD5}" PTXCONF_GLOBAL_LARGE_FILE=y PTXCONF_LIBC=y PTXCONF_LIBC_GLIBC=y |