diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2016-01-22 09:16:06 -0800 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2016-01-22 09:16:06 -0800 |
| commit | 49832f27cad6953836a088f9575936f03b2e5c87 (patch) | |
| tree | 831ee1c7155f8cfd6a9d23469f78a32a6ba8ac73 /tools | |
| parent | 1872b4452ef64d6dafa7b14c22dd0028ef9fcea7 (diff) | |
an attempt to fix #4835
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/jenkins/build_interop_image.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/jenkins/build_interop_image.sh b/tools/jenkins/build_interop_image.sh index d0c5470ed6..c4fc3d8712 100755 --- a/tools/jenkins/build_interop_image.sh +++ b/tools/jenkins/build_interop_image.sh @@ -85,6 +85,7 @@ CONTAINER_NAME="build_${BASE_NAME}_$(uuidgen)" (docker run \ -e CCACHE_DIR=/tmp/ccache \ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ + -e THIS_IS_REALLY_NEEDED_ONCE_AGAIN='For issue 4835. See https://github.com/docker/docker/issues/14203 for why docker is awful' \ -i $TTY_FLAG \ $MOUNT_ARGS \ $BUILD_INTEROP_DOCKER_EXTRA_ARGS \ |