1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 7417208..48535a5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -91,7 +91,7 @@ pipeline {
                     steps {
                         dir('mm') {
                             sh 'make -j disasm'
-                            sh 'make -j all'
+                            sh 'make -j'
                         }
                     }
                 }