fixed error in Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 413811dc0625fad25c772f6040dcfecec12623fe..ac5cf5754a30c5fac0c530ce0619ff97dbda976c 100644 (file)
--- 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 {