diff options
Diffstat (limited to 'tools/jenkins/docker_run_tests.sh')
| -rwxr-xr-x | tools/jenkins/docker_run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jenkins/docker_run_tests.sh b/tools/jenkins/docker_run_tests.sh index 2e40f8fd65..3e4689265d 100755 --- a/tools/jenkins/docker_run_tests.sh +++ b/tools/jenkins/docker_run_tests.sh @@ -60,6 +60,6 @@ echo '</body></html>' >> index.html cd .. zip -r reports.zip reports -find . -name reports.xml | xargs zip reports.zip +find . -name report.xml | xargs zip reports.zip exit $exit_code |