diff --git a/tools/ci/toolchain.sh b/tools/ci/toolchain.sh index 78630304848..e744da16d64 100755 --- a/tools/ci/toolchain.sh +++ b/tools/ci/toolchain.sh @@ -51,6 +51,8 @@ install_toolchain() { mkdir -p "$target_dir" extract_file "$file_name" "$target_dir" + rm $file_name + echo "Installed: $target_dir" local toolchain_bin="$target_dir/bin"