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