From 117d7944aa451afe5a2f7f794797f28848896fdb Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 7 Jan 2016 23:06:01 +0100
Subject: [PATCH] [jenkins] remove the right files from /tmp

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

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 783033f3f3..ec2325a9d3 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -7,8 +7,8 @@
 
 set -e
 
-echo "XXXX Cleanup previous attempts"
-rm -rf /tmp/simgrid*tmp
+echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
+rm -rf /tmp/simgrid-java*
 find /builds/workspace/SimGrid-Multi/ -name "hs_err_pid*.log" | xargs rm -f
 ls /tmp
 df -h
-- 
2.20.1