From c1400d4b8a4389813861897b8e5bc7f10fb40cea Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 17 May 2019 23:17:22 +0200
Subject: [PATCH 1/1] More cleanup of tmp files (openindiana).

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

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 72a3f5709f..65d8628964 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -12,6 +12,7 @@ export LC_ALL=C
 
 echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
 rm -rf /tmp/simgrid-java*
+rm -rf /var/tmp/simgrid-java*
 rm -rf /tmp/jvm-*
 find /builds/workspace/SimGrid/ -name "hs_err_pid*.log" | xargs rm -f
 ls /tmp
-- 
2.20.1