scripts/build/kernel_linux.sh
changeset 143 420f814f1871
parent 78 c3868084d81a
child 161 be4484f10ac7
     1.1 --- a/scripts/build/kernel_linux.sh	Tue May 08 17:48:32 2007 +0000
     1.2 +++ b/scripts/build/kernel_linux.sh	Mon May 28 21:33:35 2007 +0000
     1.3 @@ -117,6 +117,8 @@
     1.4           INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
     1.5           ${V_OPT}                                   \
     1.6           headers_check                              2>&1 |CT_DoLog ALL
     1.7 +
     1.8 +    find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
     1.9  }
    1.10  
    1.11  # Install kernel headers from oldish Mazur's sanitised headers.