diff options
Diffstat (limited to 'jenkinsfile.qemu')
| -rw-r--r-- | jenkinsfile.qemu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jenkinsfile.qemu b/jenkinsfile.qemu index 00ccedf..0c6c5c1 100644 --- a/jenkinsfile.qemu +++ b/jenkinsfile.qemu @@ -56,8 +56,8 @@ pipeline { stage("Check") { steps { sh 'cd build; gmake -j $(nproc) check check-report.html' -# sh 'xsltproc -o build/junit.xml scripts/gtester.xsl build/check-report.xml' -# junit 'build/junit.xml' +// sh 'xsltproc -o build/junit.xml scripts/gtester.xsl build/check-report.xml' +// junit 'build/junit.xml' } } } |