diff options
Diffstat (limited to 'jenkins/buildcmds/pull_request.sh')
| -rwxr-xr-x | jenkins/buildcmds/pull_request.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/jenkins/buildcmds/pull_request.sh b/jenkins/buildcmds/pull_request.sh deleted file mode 100755 index 01fda798..00000000 --- a/jenkins/buildcmds/pull_request.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash -# -# This is the top-level script we give to Jenkins as the entry point for -# running the "pull request" project: -# -# https://grpc-testing.appspot.com/view/Protocol%20Buffers/job/protobuf_pull_request/ -# -# This script selects a specific Dockerfile (for building a Docker image) and -# a script to run inside that image. Then we delegate to the general -# build_and_run_docker.sh script. - -export DOCKERFILE_DIR=jenkins/docker -export DOCKER_RUN_SCRIPT=jenkins/pull_request_in_docker.sh -export OUTPUT_DIR=testoutput -./jenkins/build_and_run_docker.sh |