From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 7 Jan 2016 21:55:31 +0000 (+0100)
Subject: [jenkins] more info on the available disk space
X-Git-Tag: v3_13~1319
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bd80be5a5bdd435e9426bbcc36e3b34a0f9144c2?hp=ceedfe1f3f14e6cae48ee7684f98c7e4ab1fd2be

[jenkins] more info on the available disk space
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 32b598cd65..576986cb87 100755
--- 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 ] ;