about summary refs log tree commit diff
path: root/src/ci/scripts
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2020-02-18 11:10:51 +0000
committerbors <bors@rust-lang.org>2020-02-18 11:10:51 +0000
commit6317721cd951030f1f28801c34931c3c2322bc06 (patch)
treefd553b64639306496f4c7123ed667f83f8fa49f8 /src/ci/scripts
parent0176a9eef845e7421b7e2f7ef015333a41a7c027 (diff)
parentc1a05fbf00f4cf23e43036b2764a835ed4c3c96f (diff)
downloadrust-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-xsrc/ci/scripts/clean-disk.sh16
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