diff options
author | Paul Yang <TeBoring@users.noreply.github.com> | 2017-04-19 16:23:51 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-19 16:23:51 -0700 |
commit | 190b5270c8717ca343db42da489e5e7d6d9efb2c (patch) | |
tree | 3815f20268bc56aac88267004149f9e4eb634223 /jenkins/buildcmds | |
parent | 43234828da6ae3a3a3ada25d11488fdfd080b79c (diff) | |
download | protobuf-190b5270c8717ca343db42da489e5e7d6d9efb2c.tar.gz protobuf-190b5270c8717ca343db42da489e5e7d6d9efb2c.tar.bz2 protobuf-190b5270c8717ca343db42da489e5e7d6d9efb2c.zip |
Make PHP c extension work with PHP7 (#2951)
Diffstat (limited to 'jenkins/buildcmds')
-rwxr-xr-x | jenkins/buildcmds/pull_request_32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/buildcmds/pull_request_32.sh b/jenkins/buildcmds/pull_request_32.sh index bf0fb7ff..99df2971 100755 --- a/jenkins/buildcmds/pull_request_32.sh +++ b/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 |