From 03b9e0ee7b3bfe7f9dc43b6bc32b6dd9cf03d9a3 Mon Sep 17 00:00:00 2001
From: Per Goncalves da Silva <perdasilva@gmail.com>
Date: Thu, 19 Sep 2019 22:01:11 +0200
Subject: [PATCH] Disable concurrent builds for CD pipeline

---
 cd/Jenkinsfile_cd_pipeline | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cd/Jenkinsfile_cd_pipeline b/cd/Jenkinsfile_cd_pipeline
index 885df7fa47a3..9aa5f8110d48 100644
--- a/cd/Jenkinsfile_cd_pipeline
+++ b/cd/Jenkinsfile_cd_pipeline
@@ -27,6 +27,12 @@ pipeline {
   agent {
     label 'restricted-utility'
   }
+  options {
+    // Because each pass of the CD pipeline
+    // updates Jenkins' state of the release job
+    // to avoid crazy issues, we don't allow concurrent builds.
+    disableConcurrentBuilds()  
+  }
 
   parameters {
     // Release parameters