diff options
author | 2015-11-05 13:14:39 -0800 | |
---|---|---|
committer | 2015-11-05 13:14:39 -0800 | |
commit | 2dfd2de4bb1aa57a853c7189f7ee4070ad64b9f8 (patch) | |
tree | ecb94812abbf4316a93c79e606353b036cd7fe43 | |
parent | 48961e53d5f8589fa66859575105afd008af4959 (diff) |
Make code self-documenting
-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 8aa769dd1c..b44c380533 100755 --- a/tools/jenkins/build_docker_and_run_tests.sh +++ b/tools/jenkins/build_docker_and_run_tests.sh @@ -63,7 +63,7 @@ docker run \ -e "arch=$arch" \ -e CCACHE_DIR=/tmp/ccache \ -e XDG_CACHE_HOME=/tmp/xdg-cache-home \ - -e THIS_IS_REALLY_NEEDED=' ' \ + -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ -i $TTY_FLAG \ -v "$git_root:/var/local/jenkins/grpc" \ -v /tmp/ccache:/tmp/ccache \ |