diff options
Diffstat (limited to 'jenkinsfile.qemu')
| -rw-r--r-- | jenkinsfile.qemu | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jenkinsfile.qemu b/jenkinsfile.qemu index 91d4dee..7ba24fd 100644 --- a/jenkinsfile.qemu +++ b/jenkinsfile.qemu @@ -54,7 +54,9 @@ pipeline { stage("Check") { steps { - sh 'cd build; gmake -j $(nproc) check check-report.html' + timeout (60) { + 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' } |