diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-02-12 18:00:29 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-02-12 18:00:29 +0100 |
| commit | a05288bf0ec268ce8e729b3d1f962b137eb0c847 (patch) | |
| tree | 6ccf9971608bc9d3e7930c16798e603b46129435 /jenkinsfile.qemu | |
| parent | 0f0149a4c04b9cd4ca4b66992e5b722e6d7ad5d3 (diff) | |
| download | jenkinsfiles-a05288bf0ec268ce8e729b3d1f962b137eb0c847.tar.gz | |
add timeout
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' } |