From: Ralf Habacker Date: Tue, 29 Mar 2022 07:59:59 +0000 (+0200) Subject: tools/ci-install.sh: clean up the previously used installation prefix and the downloa... X-Git-Tag: dbus-1.12.24~17^2~2 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=182eafb3a20df121a7201cde8b7f5a6efb993b59;p=thirdparty%2Fdbus.git tools/ci-install.sh: clean up the previously used installation prefix and the downloaded mingw packages This is necessary to have a clean initial state when running the script locally. Signed-off-by: Ralf Habacker (cherry picked from commit 067733d4b0e7c9c03ee25cb85eecb80980f01f68) --- diff --git a/tools/ci-install.sh b/tools/ci-install.sh index 362ed05c4..ac0ae95dc 100755 --- a/tools/ci-install.sh +++ b/tools/ci-install.sh @@ -195,6 +195,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,^.*$,,g' files.lst | grep -v "\.db" | grep -v "\.files" | grep ".*zst$" | sort > filenames.lst @@ -217,6 +219,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