diff options
author | 2016-02-18 15:35:56 -0800 | |
---|---|---|
committer | 2016-02-18 15:35:56 -0800 | |
commit | b46672602965727de647a720b6cc3f3dca436a11 (patch) | |
tree | 75b322880be2ef6e873fcc84858813c61b996bdb /tools/jenkins | |
parent | 9c5f0b160576ac33147b7386ffe15b01a54eb4dc (diff) |
Extract reports.xml files from docker images in reports.zip
Diffstat (limited to 'tools/jenkins')
-rwxr-xr-x | tools/jenkins/build_docker_and_run_tests.sh | 5 | ||||
-rwxr-xr-x | tools/jenkins/docker_run_tests.sh | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/tools/jenkins/build_docker_and_run_tests.sh b/tools/jenkins/build_docker_and_run_tests.sh index e2ac7518f0..0ddf261032 100755 --- a/tools/jenkins/build_docker_and_run_tests.sh +++ b/tools/jenkins/build_docker_and_run_tests.sh @@ -82,11 +82,6 @@ docker run \ $DOCKER_IMAGE_NAME \ bash -l "/var/local/jenkins/grpc/$DOCKER_RUN_SCRIPT" || DOCKER_FAILED="true" -if [ "$XML_REPORT" != "" ] -then - docker cp "$CONTAINER_NAME:/var/local/git/grpc/$XML_REPORT" $git_root || true -fi - docker cp "$CONTAINER_NAME:/var/local/git/grpc/reports.zip" $git_root || true unzip -o $git_root/reports.zip -d $git_root || true rm -f reports.zip diff --git a/tools/jenkins/docker_run_tests.sh b/tools/jenkins/docker_run_tests.sh index 282b857351..578bda170a 100755 --- a/tools/jenkins/docker_run_tests.sh +++ b/tools/jenkins/docker_run_tests.sh @@ -60,5 +60,6 @@ echo '</body></html>' >> index.html cd .. zip -r reports.zip reports +find . -name reports.xml | xargs zip reports.xml exit $exit_code |