[jenkins] remove the right files from /tmp

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 783033f..ec2325a 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -7,8 +7,8 @@
 
 set -e
 
 
 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
 find /builds/workspace/SimGrid-Multi/ -name "hs_err_pid*.log" | xargs rm -f
 ls /tmp
 df -h