diff options
| -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 578bda170a..2e40f8fd65 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.xml +find . -name reports.xml | xargs zip reports.zip exit $exit_code |