Merge pull request #259 from hensldm/jenkins

MM Jenkins Update

1 files changed, 10 insertions, 1 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
index 9c4dde7..48535a5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -68,6 +68,15 @@ pipeline {
             }
         }
 
+        // INSTALL PYTHON DEPENDENCIES, currently MM only
+        stage('Install Python dependencies') {
+            steps {
+                dir('mm') {
+                    sh 'python3 -m pip install -r requirements.txt'
+                }
+            }
+        }
+
         // BUILD THE REPOS
         stage('Build repos') {
             parallel {
@@ -82,7 +91,7 @@ pipeline {
                     steps {
                         dir('mm') {
                             sh 'make -j disasm'
-                            sh 'make -j all'
+                            sh 'make -j'
                         }
                     }
                 }