# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1264268368 -3600
# Node ID 5851a36db763143d3f80af336a381bd95e357756
# Parent  41c2a6716511adc5a8378bf8ffac23d5766327b0
kernel/linux: use CT_ARCH, in place of CT_KERNEL_ARCH

Since we merged the 32/64-bit archs, and we explicitly used
the Linux kernel arch name, we can get rid of CT_KERNEL_ARCH.

diff -r 41c2a6716511 -r 5851a36db763 scripts/build/kernel/linux.sh
--- a/scripts/build/kernel/linux.sh	Sat Jan 23 16:49:56 2010 +0100
+++ b/scripts/build/kernel/linux.sh	Sat Jan 23 18:39:28 2010 +0100
@@ -59,7 +59,7 @@
     CT_DoExecLog ALL                                    \
     make -C "${CT_SRC_DIR}/linux-${CT_KERNEL_VERSION}"  \
          O=$(pwd)                                       \
-         ARCH=${CT_KERNEL_ARCH}                         \
+         ARCH=${CT_ARCH}                                \
          INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
          ${V_OPT}                                       \
          headers_install
@@ -69,7 +69,7 @@
         CT_DoExecLog ALL                                    \
         make -C "${CT_SRC_DIR}/linux-${CT_KERNEL_VERSION}"  \
              O=$(pwd)                                       \
-             ARCH=${CT_KERNEL_ARCH}                         \
+             ARCH=${CT_ARCH}                                \
              INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
              ${V_OPT}                                       \
              headers_check