From 9740c8c78e695fc5ed13368f9b2617f37347a66a Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Mon, 20 Apr 2020 06:35:02 +0900
Subject: [PATCH] Add a workaround for disk space failures on Docker
---
ci/run-docker.sh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/ci/run-docker.sh b/ci/run-docker.sh
index 66312895..059e5377 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}"
--
GitLab