diff options
author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-04-20 06:35:02 +0900 |
---|---|---|
committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-04-20 19:48:48 +0900 |
commit | 9740c8c78e695fc5ed13368f9b2617f37347a66a (patch) | |
tree | 0238f9c04ebddb474edb8a7d0ee17040966ccbd8 /ci/run-docker.sh | |
parent | 1da0baa684e1454a00c3421528754a5f941de3e5 (diff) | |
download | rust-libc-9740c8c78e695fc5ed13368f9b2617f37347a66a.tar.gz |
Add a workaround for disk space failures on Docker
Diffstat (limited to 'ci/run-docker.sh')
-rwxr-xr-x | ci/run-docker.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/run-docker.sh b/ci/run-docker.sh index 6631289528..059e537737 100755 --- a/ci/run-docker.sh +++ b/ci/run-docker.sh @@ -15,6 +15,12 @@ CARGO_HOME="${CARGO_HOME:-$DEFAULT_CARGO_HOME}" echo "${HOME}" pwd +# Avoid "no space left on device" failure. +if [ "${1}" = "aarch64-linux-android" ] ; then + docker system prune -af + docker system df +fi + run() { echo "Building docker container for target ${1}" |