diff --git a/src/ci/scripts/free-disk-space.sh b/src/ci/scripts/free-disk-space.sh index 3164f9d947f8..55121e721ad9 100755 --- a/src/ci/scripts/free-disk-space.sh +++ b/src/ci/scripts/free-disk-space.sh @@ -4,13 +4,12 @@ # # ====== # MACROS # ====== - +set -e fast_rmdir() { -if [[ -d "$1" ]] && [[ -n "$1" ]] && [[ ! "$1" = "/" ]] && [[ ! "$1" = "~" ]]; then - echo "Removing directory: $1" - sudo find "$1" -type f -delete -print | wc -l - sudo rm -rf "$1" -fi + cd "$@" + pwd + ls + perl -e 'unlink for glob "*"' } list_installed_dpkg() {