diff options
| author |  Paul Yang <TeBoring@users.noreply.github.com> | 2016-10-12 12:55:48 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-10-12 12:55:48 -0700 |
| commit | e28286fa05d8327fd6c5aa70cfb3be558f0932b8 (patch) | |
| tree | 54dbafa1263ebbbd04dc20cc93f911cda53d60b8 /jenkins/build_and_run_docker.sh | |
| parent | afaa827860cb72b2d5298547d3e2ad4c9ca52a1c (diff) | |
Add 32-bit machine test on jenkins. (#2245)
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 \ |