diff --git a/Jenkinsfile b/Jenkinsfile index b7845d0b77..89bcefac7b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { stage('Build') { steps { echo 'Building...' - sh 'make' + sh 'make -j`nproc`' } } }