aboutsummaryrefslogtreecommitdiffhomepage
path: root/jenkins/buildcmds
diff options
context:
space:
mode:
authorGravatar Paul Yang <TeBoring@users.noreply.github.com>2016-10-25 17:27:05 -0700
committerGravatar GitHub <noreply@github.com>2016-10-25 17:27:05 -0700
commit51c5ff889ccd3836c25f40baafb350f92c9ee103 (patch)
tree39ba93f36167e2ab73c25ac337da0a97a4df4970 /jenkins/buildcmds
parent58580da37357941d502805be3ae520441be77728 (diff)
Fix pure php implementation for 32-bit machine. (#2282)
Diffstat (limited to 'jenkins/buildcmds')
-rwxr-xr-xjenkins/buildcmds/pull_request_32.sh2
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