From 8c1075e701f106e0def21ca8ccb940e8eb2bc67c Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Tue, 12 Mar 2019 19:19:08 +0100
Subject: [PATCH 2/2] Jenkinsfile: disable concurrent builds (#31337)

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1ad1e46..950f397 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,7 @@
 
 pipeline {
     agent any
+    options { disableConcurrentBuilds() }
     stages {
         stage('Unit Tests') {
             steps {
-- 
2.20.1