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