From f2400f3d19d3945ed6caed60b24a0e43127a36d4 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Fri, 20 Nov 2020 16:09:45 +0100
Subject: [PATCH] Fixed jenkinsfile
---
Jenkinsfile | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 777207c..d21dee4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -42,12 +42,11 @@ pipeline {
steps {
sh 'frameworks/Kieker/scripts/run-benchmark.sh'
}
- }
-
- post {
- cleanup {
- deleteDir()
- cleanWs()
+ post {
+ cleanup {
+ deleteDir()
+ cleanWs()
+ }
}
}
}
--
GitLab