From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 16 Aug 2023 14:23:38 +0000 (-0400)
Subject: cleanup
X-Git-Tag: v9.5.1-r1~3^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F363%2Fhead;p=candi.git

cleanup
---

diff --git a/Jenkinsfile b/Jenkinsfile
index 31c7bce..8f8292d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -84,6 +84,8 @@ pipeline
 	set -x
 	mpicxx -v
 	cmake --version
+	rm -rf $WORKSPACE/tmp/
+	rm -f local.cfg
         ./candi.sh -j 10 -p $WORKSPACE
         cp $WORKSPACE/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log
         '''