diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2016-01-27 18:32:42 -0800 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2016-02-01 14:06:50 -0800 |
| commit | 38b519a48dae92ea4e91036e5347d2f3d2c0a396 (patch) | |
| tree | 29f11f238c54e90067c197f456e25d6ea474b35e /tools/jenkins/build_and_run_docker.sh | |
| parent | d38e372d71e355ac483ac12506118d259ed61f59 (diff) | |
replace nuget version by placeholder
Diffstat (limited to 'tools/jenkins/build_and_run_docker.sh')
| -rwxr-xr-x | tools/jenkins/build_and_run_docker.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/jenkins/build_and_run_docker.sh b/tools/jenkins/build_and_run_docker.sh index c48f58e0d0..b77cd0aebb 100755 --- a/tools/jenkins/build_and_run_docker.sh +++ b/tools/jenkins/build_and_run_docker.sh @@ -43,6 +43,7 @@ git branch -f jenkins-docker # Inputs # DOCKERFILE_DIR - Directory in which Dockerfile file is located. # DOCKER_RUN_SCRIPT - Script to run under docker (relative to grpc repo root) +# OUTPUT_DIR - Directory that will be copied from inside docker after finishing. # $@ - Extra args to pass to docker run # Use image name based on Dockerfile location checksum @@ -57,6 +58,7 @@ CONTAINER_NAME="build_and_run_docker_$(uuidgen)" # Run command inside docker docker run \ "$@" \ + -e EXTERNAL_GIT_ROOT="/var/local/jenkins/grpc" \ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ -v "$git_root:/var/local/jenkins/grpc:ro" \ -w /var/local/git/grpc \ |