diff --git a/Jenkinsfile b/Jenkinsfile
index 454530b7c..d7a7f5377 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,7 +18,7 @@ node {
    
    stage('Build') {
       dir("build") {
-          sh "make -j 4 storm"
+          sh "make  storm"
       }
       
    }