diff options
Diffstat (limited to 'jenkins/build_and_run_docker.sh')
| -rwxr-xr-x | jenkins/build_and_run_docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/build_and_run_docker.sh b/jenkins/build_and_run_docker.sh index abc6f055..50e1e8c6 100755 --- a/jenkins/build_and_run_docker.sh +++ b/jenkins/build_and_run_docker.sh @@ -33,6 +33,7 @@ docker run \ "$@" \ -e CCACHE_DIR=$CCACHE_DIR \ -e EXTERNAL_GIT_ROOT="/var/local/jenkins/protobuf" \ + -e TEST_SET="$TEST_SET" \ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ -v "$git_root:/var/local/jenkins/protobuf:ro" \ -v $CCACHE_DIR:$CCACHE_DIR \ |