From 19617fc42dbfd0fb43efada69470bd6a8c4a4750 Mon Sep 17 00:00:00 2001
From: Adriaan de Groot <groot@kde.org>
Date: Tue, 11 Dec 2018 14:23:23 +0100
Subject: [PATCH] CI: more debugging due to disk-space problems

---
 ci/travis-continuous.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/travis-continuous.sh b/ci/travis-continuous.sh
index 1b3841e54..afa46e16c 100755
--- a/ci/travis-continuous.sh
+++ b/ci/travis-continuous.sh
@@ -15,9 +15,11 @@ cd $BUILDDIR || exit 1
 echo "###"
 echo "### cmake $CMAKE_ARGS $SRCDIR"
 echo "###"
+df -h
 cmake $CMAKE_ARGS $SRCDIR || { echo "! CMake failed" ; exit 1 ; }
 
 echo -e "###\n### make\n###"
+df -h
 make -j2 || { make -j1 VERBOSE=1 ; echo "! Make failed" ; exit 1 ; }
 
 echo -e "###\n### make install\n###"