scripts/build/kernel/linux.sh
changeset 2228 aa02b51ce928
parent 1990 c12158f27395
child 2264 1452840382bb
     1.1 --- a/scripts/build/kernel/linux.sh	Thu Jun 17 18:30:09 2010 +0200
     1.2 +++ b/scripts/build/kernel/linux.sh	Wed Dec 22 22:41:51 2010 +0100
     1.3 @@ -112,8 +112,16 @@
     1.4               INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
     1.5               ${V_OPT}                                       \
     1.6               headers_check
     1.7 -        find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
     1.8      fi
     1.9 +
    1.10 +    # Cleanup
    1.11 +    find "${CT_SYSROOT_DIR}" -type f                        \
    1.12 +                             \(    -name '.install'         \
    1.13 +                                -o -name '..install.cmd'    \
    1.14 +                                -o -name '.check'           \
    1.15 +                                -o -name '..check.cmd'      \
    1.16 +                             \)                             \
    1.17 +                             -exec rm {} \;
    1.18  }
    1.19  
    1.20  # Use custom headers (most probably by using make headers_install in a