From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 7 Jan 2016 22:04:08 +0000 (+0100)
Subject: [jenkins] also cleanup the files forgotten in the tree by java errors
X-Git-Tag: v3_13~1317
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/73fdee377ce9b2515ff15e4b9d5ed4b995edd6a6

[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 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"