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>
This commit is contained in:
Yann E. MORIN" 2013-12-30 23:15:02 +01:00 committed by Zhenqiang Chen
parent def5ffe83a
commit 9bda4536fe

View File

@ -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