diff options
author | Ralf Habacker <ralf.habacker@freenet.de> | 2022-03-29 09:59:59 +0200 |
---|---|---|
committer | Simon McVittie <smcv@collabora.com> | 2022-09-12 17:58:03 +0100 |
commit | 067733d4b0e7c9c03ee25cb85eecb80980f01f68 (patch) | |
tree | e2a730992855d50eb633af090525c455a3ae6370 | |
parent | 85f5f0503855fed561c010b4676f8aeb3a77424f (diff) | |
download | dbus-067733d4b0e7c9c03ee25cb85eecb80980f01f68.tar.gz |
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 <ralf.habacker@freenet.de>
-rwxr-xr-x | tools/ci-install.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/ci-install.sh b/tools/ci-install.sh index 989b5313..bc1f72e4 100755 --- 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 |