aboutsummaryrefslogtreecommitdiffhomepage
path: root/jenkins
diff options
context:
space:
mode:
authorGravatar Bo Yang <teboring@google.com>2016-09-30 19:07:33 +0000
committerGravatar Bo Yang <teboring@google.com>2016-10-10 11:44:54 -0700
commitc8bd36e5b91fa7cc3ca56abfd33db13da8ce3077 (patch)
treea63fa0c5740e1871231b43b97f0d80f8e2cdd71c /jenkins
parentc0719f062c1e8b140fa90ce6e8af8ad32ee61583 (diff)
Test php5.5_c test on jenkins
Diffstat (limited to 'jenkins')
-rwxr-xr-xjenkins/pull_request_in_docker.sh7
1 files changed, 1 insertions, 6 deletions
diff --git a/jenkins/pull_request_in_docker.sh b/jenkins/pull_request_in_docker.sh
index 66f3bb23..b843a355 100755
--- a/jenkins/pull_request_in_docker.sh
+++ b/jenkins/pull_request_in_docker.sh
@@ -58,12 +58,7 @@ parallel --results $LOG_OUTPUT_DIR --joblog $OUTPUT_DIR/joblog $TEST_SCRIPT :::
ruby_all \
javascript \
golang \
- php5.5 \
- php5.6 \
- php7.0 \
- php5.5_c \
- php5.6_c \
- php7.0_c \
+ php_all \
|| true # Process test results even if tests fail.
cat $OUTPUT_DIR/joblog