From: Timo Heister 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 '''