diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2022-06-05 12:30:01 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2022-06-05 12:30:01 +0200 |
| commit | b926519d322a7e20973517e27d5d7e02984c120d (patch) | |
| tree | 888da27becf97ff064886cde11acff993e06e02e /src/ci/scripts | |
| parent | 94f2f009396ef0458c9b97859300d4d2a514ad97 (diff) | |
| download | rust-b926519d322a7e20973517e27d5d7e02984c120d.tar.gz rust-b926519d322a7e20973517e27d5d7e02984c120d.zip | |
remove clean-disk script
The script wasn't referenced anywhere, and it's not useful anymore: /opt/ghc is not present in new images, while /usr/share/dotnet is only 2.3 GB rather than 16 GB.
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/clean-disk.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/ci/scripts/clean-disk.sh b/src/ci/scripts/clean-disk.sh deleted file mode 100755 index c50de37c492..00000000000 --- a/src/ci/scripts/clean-disk.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash -# This script deletes some of the Azure-provided artifacts. We don't use these, -# and disk space is at a premium on our builders. - -set -euo pipefail -IFS=$'\n\t' - -source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" - -# All the Linux builds happen inside Docker. -if isLinux; then - # 6.7GB - sudo rm -rf /opt/ghc - # 16GB - sudo rm -rf /usr/share/dotnet -fi |