diff options
Diffstat (limited to 'third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh')
-rwxr-xr-x | third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh b/third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh index bf0fb7ffe3..99df297190 100755 --- a/third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh +++ b/third_party/protobuf/3.2.0/jenkins/buildcmds/pull_request_32.sh @@ -12,5 +12,5 @@ export DOCKERFILE_DIR=jenkins/docker32 export DOCKER_RUN_SCRIPT=jenkins/pull_request_in_docker.sh export OUTPUT_DIR=testoutput -export TEST_SET="php_all_32" +export TEST_SET="php_all" ./jenkins/build_and_run_docker.sh |