From aedfc884d73bb32fe12a99d34ba98f8d0a09d30f Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 29 Mar 2023 11:01:22 +0200
Subject: [PATCH] [jenkins] Remove stale sockets from simgrid-mc.

---
 tools/jenkins/Coverage.sh        | 1 +
 tools/jenkins/DynamicAnalysis.sh | 1 +
 tools/jenkins/build.sh           | 1 +
 3 files changed, 3 insertions(+)

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index 98c2cfdc55..4a2012df0e 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -10,6 +10,7 @@ die() {
 
 echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
 rm -f /tmp/cc*
+rm -f /tmp/simgrid-mc-*
 rm -f /tmp/*.so
 rm -f /tmp/*.so.*
 ls /tmp
diff --git a/tools/jenkins/DynamicAnalysis.sh b/tools/jenkins/DynamicAnalysis.sh
index 1c63f5891b..41f0ba1c8b 100755
--- a/tools/jenkins/DynamicAnalysis.sh
+++ b/tools/jenkins/DynamicAnalysis.sh
@@ -10,6 +10,7 @@ die() {
 
 echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
 rm -f /tmp/cc*
+rm -f /tmp/simgrid-mc-*
 rm -f /tmp/*.so
 rm -f /tmp/*.so.*
 ls /tmp
diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index d7c4ec64f9..a1a6b166e6 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -10,6 +10,7 @@ export LC_ALL=C
 
 echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
 rm -f /tmp/cc*
+rm -f /tmp/simgrid-mc-*
 rm -f /tmp/*.so
 rm -f /tmp/*.so.*
 ls /tmp
-- 
2.20.1