diff --git a/Jenkinsfile b/Jenkinsfile
index 0893400..8334a1b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
   agent any;
   options {
     copyArtifactPermission projectNames: env.allProjectsArtifactPermission;
-    disableConcurrentBuilds abortPrevious: true;
+    disableConcurrentBuilds();
   }
   triggers {
     upstream(