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.
This commit is contained in:
Pietro Albini 2022-06-05 12:30:01 +02:00
parent 94f2f00939
commit b926519d32
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C

View File

@ -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