scripts/build/internals.sh
changeset 1264 2b591f1d34ba
parent 1225 4b065e7e2130
child 1281 12a2991fcffb
     1.1 --- a/scripts/build/internals.sh	Wed Mar 04 17:59:35 2009 +0000
     1.2 +++ b/scripts/build/internals.sh	Mon Mar 23 23:05:08 2009 +0000
     1.3 @@ -10,6 +10,7 @@
     1.4      find "${CT_PREFIX_DIR}/bin" -name "${CT_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     1.5      find "${CT_PREFIX_DIR}/bin" -name "${CT_HOST}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     1.6      CT_DoExecLog DEBUG rm -fv "${CT_PREFIX_DIR}/bin/makeinfo"
     1.7 +    CT_DoExecLog DEBUG rm -fv "${CT_PREFIX_DIR}/bin/tic"
     1.8  
     1.9      if [ "${CT_BARE_METAL}" != "y" ]; then
    1.10          CT_DoLog EXTRA "Installing the populate helper"