1.1 --- a/scripts/build/kernel/linux.sh Thu Mar 21 10:57:31 2013 +0100
1.2 +++ b/scripts/build/kernel/linux.sh Mon Dec 30 23:15:02 2013 +0100
1.3 @@ -97,6 +97,7 @@
1.4 # Install kernel headers using headers_install from kernel sources.
1.5 do_kernel_install() {
1.6 local kernel_path
1.7 + local arch
1.8
1.9 CT_DoLog DEBUG "Using kernel's headers_install"
1.10
1.11 @@ -108,11 +109,13 @@
1.12 fi
1.13 V_OPT="V=${CT_KERNEL_LINUX_VERBOSE_LEVEL}"
1.14
1.15 + kernel_arch="${CT_ARCH}"
1.16 +
1.17 CT_DoLog EXTRA "Installing kernel headers"
1.18 CT_DoExecLog ALL \
1.19 make -C "${kernel_path}" \
1.20 O="${CT_BUILD_DIR}/build-kernel-headers" \
1.21 - ARCH=${CT_ARCH} \
1.22 + ARCH=${arch} \
1.23 INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr" \
1.24 ${V_OPT} \
1.25 headers_install
1.26 @@ -122,7 +125,7 @@
1.27 CT_DoExecLog ALL \
1.28 make -C "${kernel_path}" \
1.29 O="${CT_BUILD_DIR}/build-kernel-headers" \
1.30 - ARCH=${CT_ARCH} \
1.31 + ARCH=${arch} \
1.32 INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr" \
1.33 ${V_OPT} \
1.34 headers_check