c992ab23fa
This helps us have enough disk space for our builders to be able to complete successfully. For now, the choices are ad-hoc and 'definitely not needed'. This should never fail the build, as everything our build needs should be inside Docker.
16 lines
375 B
Bash
Executable file
16 lines
375 B
Bash
Executable file
#!/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
|