diff options
author | 2016-02-18 15:39:18 -0800 | |
---|---|---|
committer | 2016-02-18 15:39:18 -0800 | |
commit | 9ddd46587827cd0498b67a3972ec9c263ba393ab (patch) | |
tree | f5c0f665a27da3092645e423474020fc8a3fa133 | |
parent | b46672602965727de647a720b6cc3f3dca436a11 (diff) |
Fixed zip file name
-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 |