diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile
index fb7b9b55e06..8b39f0e9af2 100644
--- a/dev-support/Jenkinsfile
+++ b/dev-support/Jenkinsfile
@@ -28,6 +28,7 @@ pipeline {
     timeout (time: 9, unit: 'HOURS')
     timestamps()
     skipDefaultCheckout()
+    disableConcurrentBuilds()
   }
   environment {
     YETUS_RELEASE = '0.11.0'