diff --git a/clean_packages.sh b/clean_packages.sh index 153f0b6..8228392 100755 --- a/clean_packages.sh +++ b/clean_packages.sh @@ -5,7 +5,7 @@ CURRENT_DIR=$(dirname "${CURRENT_DIR}") pushd "${CURRENT_DIR}" -mapfile -t FILE_LIST < <(find support/3rd_party/ -type f \( -name '*.gz' -o -name '*.bz2' -o -name '*.xz' -o -name '*.msi' -o -name '*.zip' \)) +mapfile -t FILE_LIST < <(find support/3rd_party/ -type f \( -name '*.gz' -o -name '*.7z' -o -name '*.bz2' -o -name '*.xz' -o -name '*.msi' -o -name '*.zip' \)) for NAME in "${FILE_LIST[@]}"; do echo "Removing ${NAME}"