From 73fdee377ce9b2515ff15e4b9d5ed4b995edd6a6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 7 Jan 2016 23:04:08 +0100
Subject: [PATCH] [jenkins] also cleanup the files forgotten in the tree by
 java errors

---
 tools/jenkins/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 8a97109331..783033f3f3 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -9,6 +9,7 @@ set -e
 
 echo "XXXX Cleanup previous attempts"
 rm -rf /tmp/simgrid*tmp
+find /builds/workspace/SimGrid-Multi/ -name "hs_err_pid*.log" | xargs rm -f
 ls /tmp
 df -h
 echo "XXXX Let's go"
-- 
2.20.1