From fabd71076cd9493bd2d30a198467f5ea621b27aa Mon Sep 17 00:00:00 2001
From: MarcoFalke <falke.marco@gmail.com>
Date: Mon, 25 Nov 2019 16:27:05 -0500
Subject: ci: Print free disk space

---
 ci/test/04_install.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ci/test')

diff --git a/ci/test/04_install.sh b/ci/test/04_install.sh
index ce41c37b6e..5055a72096 100755
--- a/ci/test/04_install.sh
+++ b/ci/test/04_install.sh
@@ -72,6 +72,8 @@ if [ "$TRAVIS_OS_NAME" == "osx" ]; then
 else
   DOCKER_EXEC free -m -h
   DOCKER_EXEC echo "Number of CPUs \(nproc\):" \$\(nproc\)
+  DOCKER_EXEC echo "Free disk space:"
+  DOCKER_EXEC df -h
 fi
 
 if [ -n "$DPKG_ADD_ARCH" ]; then
-- 
cgit v1.2.3