diff options
| author |  murgatroid99 <mlumish@google.com> | 2016-02-18 15:39:18 -0800 |
|---|---|---|
| committer | murgatroid99 <mlumish@google.com> | 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 |