diff options
author | Josh Haberman <jhaberman@gmail.com> | 2016-02-18 14:55:00 -0800 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2016-03-02 14:51:09 -0800 |
commit | 57be1d7eb25432b9f0106d64faed323ef954f7d2 (patch) | |
tree | d2fcb930eafc60173d9638d548518c216f82f5d5 /tools/jenkins/pull_request.sh | |
parent | 78105897a8f01c7be9cf8502b6c58d47eb1ccdd7 (diff) | |
download | protobuf-57be1d7eb25432b9f0106d64faed323ef954f7d2.tar.gz protobuf-57be1d7eb25432b9f0106d64faed323ef954f7d2.tar.bz2 protobuf-57be1d7eb25432b9f0106d64faed323ef954f7d2.zip |
Added some initial shell scripts and docker file.
Diffstat (limited to 'tools/jenkins/pull_request.sh')
-rwxr-xr-x | tools/jenkins/pull_request.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/jenkins/pull_request.sh b/tools/jenkins/pull_request.sh new file mode 100755 index 00000000..cb0f4072 --- /dev/null +++ b/tools/jenkins/pull_request.sh @@ -0,0 +1,6 @@ +#!/bin/bash + + +export DOCKERFILE_DIR=tools/docker +export DOCKER_RUN_SCRIPT=tools/run_tests/jenkins.sh +./tools/jenkins/build_and_run_docker.sh |