clean 7z

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}"