diff --git a/Jenkinsfile.dockerized b/Jenkinsfile.dockerized
index e397c5542..8bcc5c2f7 100644
--- a/Jenkinsfile.dockerized
+++ b/Jenkinsfile.dockerized
@@ -12,6 +12,7 @@ pipeline {
     options {
         buildDiscarder(logRotator(numToKeepStr: '5'))
         timeout time: 60, unit: 'MINUTES'
+	disableConcurrentBuilds()
     }
 
     environment {