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