From a7f4a1c539ac92dd717e220f4162c92216d4f748 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sun, 22 Nov 2020 22:02:55 +0100 Subject: [PATCH] More thorough cleaning of /tmp on jenkins. --- tools/jenkins/build.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index ae085a7c17..3a84ab2470 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -9,6 +9,8 @@ export LC_ALL=C echo "XXXX Cleanup previous attempts. Remaining content of /tmp:" +rm -f /tmp/cc* +rm -f /tmp/*.so rm -rf /tmp/simgrid-java* rm -rf /var/tmp/simgrid-java* rm -rf /tmp/jvm-* -- 2.20.1