From 9bda4536fee99b14737f6e0cba3bf4d186f0544d Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@free.fr>
Date: Mon, 30 Dec 2013 23:15:02 +0100
Subject: kernel/linux: prepare for arch whose kenel name is not the standard
 name

For some architectures, the kernel architecture name is not the common
name of the architecture for other tools.

For example: ARM 64-bit is commonly referenced as aarch64, but the kernel
calls it arm64.

Signed-off-by: Michael Hope <michael.hope@linaro.org>
Signed-off-by: Zhenqiang Chen <zhenqiang.chen@linaro.org>
[yann.morin.1998@free.fr: split out of the aarch64 patch]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

diff --git a/scripts/build/kernel/linux.sh b/scripts/build/kernel/linux.sh
index af40884..3899483 100644
--- a/scripts/build/kernel/linux.sh
+++ b/scripts/build/kernel/linux.sh
@@ -97,6 +97,7 @@ do_kernel_headers() {
 # Install kernel headers using headers_install from kernel sources.
 do_kernel_install() {
     local kernel_path
+    local arch
 
     CT_DoLog DEBUG "Using kernel's headers_install"
 
@@ -108,11 +109,13 @@ do_kernel_install() {
     fi
     V_OPT="V=${CT_KERNEL_LINUX_VERBOSE_LEVEL}"
 
+    kernel_arch="${CT_ARCH}"
+
     CT_DoLog EXTRA "Installing kernel headers"
     CT_DoExecLog ALL                                    \
     make -C "${kernel_path}"                            \
          O="${CT_BUILD_DIR}/build-kernel-headers"       \
-         ARCH=${CT_ARCH}                                \
+         ARCH=${arch}                                   \
          INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
          ${V_OPT}                                       \
          headers_install
@@ -122,7 +125,7 @@ do_kernel_install() {
         CT_DoExecLog ALL                                    \
         make -C "${kernel_path}"                            \
              O="${CT_BUILD_DIR}/build-kernel-headers"       \
-             ARCH=${CT_ARCH}                                \
+             ARCH=${arch}                                   \
              INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
              ${V_OPT}                                       \
              headers_check
-- 
cgit v0.10.2-6-g49f6