diff options
Diffstat (limited to 'jenkins/pull_request_in_docker.sh')
| -rwxr-xr-x | jenkins/pull_request_in_docker.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/jenkins/pull_request_in_docker.sh b/jenkins/pull_request_in_docker.sh index a99d88b1..78a9253a 100755 --- a/jenkins/pull_request_in_docker.sh +++ b/jenkins/pull_request_in_docker.sh @@ -48,7 +48,6 @@ $TIME_CMD $TEST_SCRIPT cpp > >(tee $CPP_STDOUT) 2> >(tee $CPP_STDERR >&2) # Other tests are run in parallel. parallel --results $LOG_OUTPUT_DIR --joblog $OUTPUT_DIR/joblog $TEST_SCRIPT ::: \ - cpp_distcheck \ csharp \ java_jdk7 \ javanano_jdk7 \ |