From bd80be5a5bdd435e9426bbcc36e3b34a0f9144c2 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 7 Jan 2016 22:55:31 +0100
Subject: [PATCH 1/1] [jenkins] more info on the available disk space

---
 tools/jenkins/build.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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 ] ; 
-- 
2.20.1