diff options
| author |  Paul Yang <TeBoring@users.noreply.github.com> | 2017-05-05 11:14:11 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-05-05 11:14:11 -0700 |
| commit | 25abd7b7e7a6e7f3dfabe6b3a762e2346b2ae185 (patch) | |
| tree | 295af0fef9c2a8240d06de6920eaa7fd453564d9 /jenkins/buildcmds | |
| parent | 483396068d7788efca4d51584d160dc4da28c99d (diff) | |
Add compatibility test for php. (#3041)
* Add compatibility test for php.
* Revert API incompatible change.
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 99df2971..bf0fb7ff 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" +export TEST_SET="php_all_32" ./jenkins/build_and_run_docker.sh |