[jenkins] also cleanup the files forgotten in the tree by java errors

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 8a97109..783033f 100755 (executable)
--- 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"