CI: yet another attempt to debug the disk-space failures

ci/travis-continuous.sh

@@ -12,26 +12,26 @@ test -f $SRCDIR/CMakeLists.txt || { echo "! Missing $SRCDIR/CMakeLists.txt" ; ex
 
 cd $BUILDDIR || exit 1
 
+section() {
 echo "###"
-echo "### cmake $CMAKE_ARGS $SRCDIR"
+echo "### $1"
 echo "###"
 pwd -P
 df -h
+}
+
+section "cmake $CMAKE_ARGS $SRCDIR"
 cmake $CMAKE_ARGS $SRCDIR || { echo "! CMake failed" ; exit 1 ; }
 
-echo -e "###\n### make\n###"
-df -h
-make -j2 || { pwd -P ; df -h ; make -j1 VERBOSE=1 ; echo "! Make failed" ; exit 1 ; }
+section "make"
+make -j2 || { echo "! Make recheck" ; pwd -P ; df -h ; make -j1 VERBOSE=1 ; echo "! Make failed" ; exit 1 ; }
 
-echo -e "###\n### make install\n###"
+section "make install"
 
 install_debugging() {
 	ls -la $( find "$1" -type f -name '*.so' )
 }
 
-echo "# System status"
-df -h
-
 echo "# Build results"
 install_debugging "$BUILDDIR"
 
@@ -48,10 +48,8 @@ else
 	result=false
 fi
 
-echo "# System status"
-df -h
 
-echo "# Install results"
+section "Install results"
 install_debugging "$DESTDIR"
 
 $result || { echo "! Install failed" ; exit 1 ; } # Result of make install, above