From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 2 Oct 2015 12:34:45 +0000 (+0200)
Subject: [jenkins] remove the java-created files on startup
X-Git-Tag: v3_12~64
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5aed12e219976b3a98dc6c5f2b4ff8d6074b645c?hp=8a880fa1f3094f46842eeb5c0c155d915eadc3ca

[jenkins] remove the java-created files on startup
---

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index a853ee38b7..9379aef4b8 100755
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -7,6 +7,10 @@
 
 set -e
 
+# Cleanup previous attempts
+rm -rf /tmp/simgrid*tmp
+rm -rf /tmp/surf-java*tmp
+
 # usage: die status message...
 die () {
   local status=${1:-1}