From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 6 Jan 2022 17:19:29 +0000 (+0000)
Subject: [ci-skip] Flags job in jenkins: cleanup more agressively.
X-Git-Tag: v3.30~122
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6b7d69b2ccd294f399874c5c0dbb20b6afe2affd

[ci-skip] Flags job in jenkins: cleanup more agressively.
---

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 9358cf6b93..c07669c2b5 100755
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -94,4 +94,5 @@ cmake -Denable_documentation=OFF -Denable_java=${buildjava} -Denable_msg=${build
       -Denable_ns3=$(onoff test "$buildmc" != "ON") -Denable_coverage=OFF -DLTO_EXTRA_FLAG="auto" "$WORKSPACE"
 
 make -j$NUMPROC tests
-make clean
+cd ..
+rm -rf build