cleanup

diff --git a/Jenkinsfile b/Jenkinsfile
index 31c7bceebb88a295826dc37304115b4944a79d8f..8f8292d868570e4d0de53eee7b756c3a4d77ec55 100644 (file)
--- 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
         '''