diff options
| -rw-r--r-- | jenkinsfile.qemu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsfile.qemu b/jenkinsfile.qemu index 4e931ea..6aec8aa 100644 --- a/jenkinsfile.qemu +++ b/jenkinsfile.qemu @@ -56,7 +56,7 @@ pipeline { stage("Check") { steps { timeout (60) { - sh 'cd build; gmake -j $(nproc) check' + sh 'cd build; gmake check' } // sh 'xsltproc -o build/junit.xml scripts/gtester.xsl build/check-report.xml' // junit 'build/junit.xml' |