From 7a3bac935860261605f6645415045c973120a224 Mon Sep 17 00:00:00 2001
From: Erik Brakkee <erik@brakkee.org>
Date: Sun, 10 Nov 2024 18:18:53 +0100
Subject: [PATCH] fixed error in Jenkinsfile

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 413811dc..ac5cf575 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,9 @@ String cron_string = BRANCH_NAME == "master" ? "10 3 * * *" : ""
 pipeline {
   agent {
     kubernetes agentsetup(containers: 'java8') 
+  }
+  options {
+    disableConcurrentBuilds()
     buildDiscarder(logRotator(
             numToKeepStr: '5',            // Number of build records to keep
             artifactNumToKeepStr: '3',    // Number of builds for which to keep artifacts
@@ -11,9 +14,6 @@ pipeline {
             artifactDaysToKeepStr: '15'   // Days to keep artifacts
         ))
   }
-  options {
-    disableConcurrentBuilds()
-  }
   triggers { cron(cron_string) }
   
   stages {
-- 
2.31.1