From 287bc99be6c3b2d71037ed109ec2167d09ec62c5 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 16 Aug 2023 10:23:38 -0400
Subject: [PATCH] cleanup

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

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
         '''
-- 
2.39.5