[jenkins] more info on the available disk space

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 32b598c..576986c 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -7,9 +7,11 @@
 
 set -e
 
-# Cleanup previous attempts
+echo "XXXX Cleanup previous attempts"
 rm -rf /tmp/simgrid*tmp
-rm -rf /tmp/surf-java*tmp
+ls /tmp
+df -h
+echo "XXXX Let's go"
 
 # Help older cmakes
 if [ -e /usr/lib/jvm/java-7-openjdk-amd64 ] ;