From 7c065e5c154819d8a3d83bb7d0f8c9a9bfcbfe34 Mon Sep 17 00:00:00 2001
From: Andrew Steinborn <git@steinborn.me>
Date: Fri, 7 Dec 2018 17:25:04 -0500
Subject: [PATCH] Disallow all concurrent builds.

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 19ae32e52..7176ec2a6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
   agent none
+  options {
+    disableConcurrentBuilds()
+  }
   stages {
     stage('Build') {
       agent {