Fixed zip file name

pull/5317/head
murgatroid99 9 years ago
parent b466726029
commit 9ddd465878
  1. 2
      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

Loading…
Cancel
Save