diff options
Diffstat (limited to 'scripts/build/internals.sh')
| -rw-r--r-- | scripts/build/internals.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/internals.sh b/scripts/build/internals.sh index 575f07d..5b639db 100644 --- a/scripts/build/internals.sh +++ b/scripts/build/internals.sh @@ -10,6 +10,7 @@ do_finish() { find "${CT_PREFIX_DIR}/bin" -name "${CT_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG find "${CT_PREFIX_DIR}/bin" -name "${CT_HOST}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG CT_DoExecLog DEBUG rm -fv "${CT_PREFIX_DIR}/bin/makeinfo" + CT_DoExecLog DEBUG rm -fv "${CT_PREFIX_DIR}/bin/tic" if [ "${CT_BARE_METAL}" != "y" ]; then CT_DoLog EXTRA "Installing the populate helper" |