diff --git a/Jenkinsfile b/Jenkinsfile index 953d52da3..32b24d659 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,7 +42,7 @@ pipeline { } } steps { - sh 'build/run make -j\$(nproc) build.all' + sh 'build/run make -j4 build.all' } } stage('Unit Tests') {