diff options
author | Michael Lumish <mlumish@google.com> | 2016-01-07 15:55:36 -0800 |
---|---|---|
committer | Michael Lumish <mlumish@google.com> | 2016-01-07 15:55:36 -0800 |
commit | c75e7de6cde35c43ac35395e0c033aa5fa394084 (patch) | |
tree | d51d4073a4f7404c17270a662127bdd4c72464c4 /tools | |
parent | e1349ced0eb65c904cae66cbe938d34ffca6aa2e (diff) | |
parent | 3d8798445eede4c9b1973d82f99ab50e71ce9721 (diff) |
Merge pull request #4639 from ctiller/nominally-nuisance
Dont fail build if no report generated
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/jenkins/build_docker_and_run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jenkins/build_docker_and_run_tests.sh b/tools/jenkins/build_docker_and_run_tests.sh index b911317558..175b3d5651 100755 --- a/tools/jenkins/build_docker_and_run_tests.sh +++ b/tools/jenkins/build_docker_and_run_tests.sh @@ -79,7 +79,7 @@ docker run \ if [ "$XML_REPORT" != "" ] then - docker cp "$CONTAINER_NAME:/var/local/git/grpc/$XML_REPORT" $git_root + 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 |