diff --git a/Jenkinsfile b/Jenkinsfile index b7845d0b77..f07d196083 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,13 +9,13 @@ pipeline { sh 'git submodule update --init --recursive' sh 'cp -r /usr/local/etc/ido/ido7.1_compiler tools/ido7.1_compiler' sh 'chmod +x -R tools/ido*' - sh 'make setup' + sh 'make -j`nproc` setup' } } stage('Build') { steps { echo 'Building...' - sh 'make' + sh 'make -j`nproc`' } } }