diff options
| author | bors <bors@rust-lang.org> | 2020-02-18 11:10:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-02-18 11:10:51 +0000 |
| commit | 6317721cd951030f1f28801c34931c3c2322bc06 (patch) | |
| tree | fd553b64639306496f4c7123ed667f83f8fa49f8 /src/ci/scripts | |
| parent | 0176a9eef845e7421b7e2f7ef015333a41a7c027 (diff) | |
| parent | c1a05fbf00f4cf23e43036b2764a835ed4c3c96f (diff) | |
| download | rust-6317721cd951030f1f28801c34931c3c2322bc06.tar.gz rust-6317721cd951030f1f28801c34931c3c2322bc06.zip | |
Auto merge of #69258 - JohnTitor:rollup-n2hljai, r=JohnTitor
Rollup of 8 pull requests
Successful merges:
- #67272 (recursion_limit parsing handles overflows)
- #68597 (Simplify `Skip::nth` and `Skip::last` implementations)
- #68767 (macOS: avoid calling pthread_self() twice)
- #69175 (Do not ICE when encountering `yield` inside `async` block)
- #69223 (Ignore GDB versions with broken str printing.)
- #69244 (configure: set LLVM flags with a value)
- #69249 (Stabilize {f32, f64}::{LOG2_10, LOG10_2})
- #69252 (Clean out unused directories for extra disk space)
Failed merges:
r? @ghost
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/clean-disk.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/ci/scripts/clean-disk.sh b/src/ci/scripts/clean-disk.sh new file mode 100755 index 00000000000..c50de37c492 --- /dev/null +++ b/src/ci/scripts/clean-disk.sh @@ -0,0 +1,16 @@ +#!/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 |
