[Jenkins] Disable concurrent builds

sjoelund · sjoelund · commit 06b956ea3e64 · 2018-06-08T10:29:57.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -5,6 +5,9 @@ pipeline {
       image 'openmodelica/build-deps'
     }
   }
+  options {
+    disableConcurrentBuilds()
+  }
   stages {
     stage('setup') {
       steps {

Original file line number	Diff line number	Diff line change
`@@ -5,6 +5,9 @@ pipeline {`
`5`	`5`	`image 'openmodelica/build-deps'`
`6`	`6`	`}`
`7`	`7`	`}`
	`8`	`+ options {`
	`9`	`+ disableConcurrentBuilds()`
	`10`	`+ }`
`8`	`11`	`stages {`
`9`	`12`	`stage('setup') {`
`10`	`13`	`steps {`