# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1216043505 0
# Node ID 9d69b3b8185faf95daa770637f500e7756a167e6
# Parent  d31336ed0403ffcff3459ba7af348ec5cdddcbd5
Use CT_DoExecLog for Linux headers install.

 /trunk/scripts/build/kernel_linux.sh |    6     4     2     0 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff -r d31336ed0403 -r 9d69b3b8185f scripts/build/kernel_linux.sh
--- a/scripts/build/kernel_linux.sh	Mon Jul 14 13:19:37 2008 +0000
+++ b/scripts/build/kernel_linux.sh	Mon Jul 14 13:51:45 2008 +0000
@@ -108,21 +108,23 @@
     esac
 
     CT_DoLog EXTRA "Installing kernel headers"
+    CT_DoExecLog ALL                                \
     make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
          O=$(pwd)                                   \
          ARCH=${CT_KERNEL_ARCH}                     \
          INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
          ${V_OPT}                                   \
-         headers_install                            2>&1 |CT_DoLog ALL
+         headers_install
 
     if [ "${CT_KERNEL_LINUX_HEADERS_INSTALL_CHECK}" = "y" ]; then
         CT_DoLog EXTRA "Checking installed headers"
+        CT_DoExecLog ALL                                \
         make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
              O=$(pwd)                                   \
              ARCH=${CT_KERNEL_ARCH}                     \
              INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
              ${V_OPT}                                   \
-             headers_check                              2>&1 |CT_DoLog ALL
+             headers_check
         find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
     fi
 }