1.1 --- a/scripts/build/kernel/linux.sh Tue Dec 31 18:03:33 2013 +0100
1.2 +++ b/scripts/build/kernel/linux.sh Wed Jan 01 19:14:20 2014 +0100
1.3 @@ -97,7 +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 + local kernel_arch
1.9
1.10 CT_DoLog DEBUG "Using kernel's headers_install"
1.11
1.12 @@ -119,7 +119,7 @@
1.13 CT_DoExecLog ALL \
1.14 make -C "${kernel_path}" \
1.15 O="${CT_BUILD_DIR}/build-kernel-headers" \
1.16 - ARCH=${arch} \
1.17 + ARCH=${kernel_arch} \
1.18 INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr" \
1.19 ${V_OPT} \
1.20 headers_install
1.21 @@ -129,7 +129,7 @@
1.22 CT_DoExecLog ALL \
1.23 make -C "${kernel_path}" \
1.24 O="${CT_BUILD_DIR}/build-kernel-headers" \
1.25 - ARCH=${arch} \
1.26 + ARCH=${kernel_arch} \
1.27 INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr" \
1.28 ${V_OPT} \
1.29 headers_check