tools/ci-install.sh: clean up the previously used installation prefix and the downloa...

This is necessary to have a clean initial state when running the script
locally.

Signed-off-by: Ralf Habacker <ralf.habacker@freenet.de>

diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index 989b5313297f899c959eb8cb92661bfe73d19373..bc1f72e45f235c0d3104cd6a24137ff1a0516222 100755 (executable)
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -194,6 +194,8 @@ if [ "$ci_local_packages" = yes ]; then
         (*-w64-mingw32)
             mirror=https://repo.msys2.org/mingw/${ci_host%%-*}
             dep_prefix=$(pwd)/${ci_host}-prefix
+            # clean install dir, if present
+            rm -rf ${dep_prefix}
             install -d "${dep_prefix}"
             wget -O files.lst ${mirror}
             sed 's,^<a href=",,g;s,">.*$,,g' files.lst | grep -v "\.db" | grep -v "\.files" | grep ".*zst$" | sort > filenames.lst
@@ -216,6 +218,11 @@ if [ "$ci_local_packages" = yes ]; then
                     echo "could not find filename for package '${pkg}'"
                     exit 1
                 fi
+                # Remove previously downloaded file, which can happen
+                # when run locally
+                if [ -f ${filename} ]; then
+                    rm -rf ${filename}
+                fi
                 wget ${mirror}/${filename}
                 tar -C ${dep_prefix} --strip-components=1 -xvf ${filename}
             done