Enabled concurrent builds, as our Jenkins is set for one concurrent b…

…uild per node anyway.
feup-infolab · Dec 4, 2017 · 31c910e · 31c910e
1 parent 42b9e11
commit 31c910e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -8,9 +8,9 @@ pipeline {
     agent {
         label "dendro"
     }
-    options {
-        disableConcurrentBuilds()  //each branch has 1 job running at a time
-    }
+    //options {
+    //    disableConcurrentBuilds()  //each branch has 1 job running at a time
+    //}
     stages {
         stage('Build') {
             steps {