Index: third_party/grpc/tools/jenkins/build_and_run_docker.sh |
diff --git a/third_party/grpc/tools/jenkins/build_and_run_docker.sh b/third_party/grpc/tools/jenkins/build_and_run_docker.sh |
new file mode 100755 |
index 0000000000000000000000000000000000000000..92dbbc6f380154c698a8d89152ca6a6ed063ee15 |
--- /dev/null |
+++ b/third_party/grpc/tools/jenkins/build_and_run_docker.sh |
@@ -0,0 +1,78 @@ |
+#!/bin/bash |
+# Copyright 2016, Google Inc. |
+# All rights reserved. |
+# |
+# Redistribution and use in source and binary forms, with or without |
+# modification, are permitted provided that the following conditions are |
+# met: |
+# |
+# * Redistributions of source code must retain the above copyright |
+# notice, this list of conditions and the following disclaimer. |
+# * Redistributions in binary form must reproduce the above |
+# copyright notice, this list of conditions and the following disclaimer |
+# in the documentation and/or other materials provided with the |
+# distribution. |
+# * Neither the name of Google Inc. nor the names of its |
+# contributors may be used to endorse or promote products derived from |
+# this software without specific prior written permission. |
+# |
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
+# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
+# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
+# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
+# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
+# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
+# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
+# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
+# |
+# Builds docker image and runs a command under it. |
+# You should never need to call this script on your own. |
+ |
+set -ex |
+ |
+cd $(dirname $0)/../.. |
+git_root=$(pwd) |
+cd - |
+ |
+# Inputs |
+# DOCKERFILE_DIR - Directory in which Dockerfile file is located. |
+# DOCKER_RUN_SCRIPT - Script to run under docker (relative to grpc repo root) |
+# OUTPUT_DIR - Directory that will be copied from inside docker after finishing. |
+# $@ - Extra args to pass to docker run |
+ |
+# Use image name based on Dockerfile location checksum |
+DOCKER_IMAGE_NAME=$(basename $DOCKERFILE_DIR)_$(sha1sum $DOCKERFILE_DIR/Dockerfile | cut -f1 -d\ ) |
+ |
+# Make sure docker image has been built. Should be instantaneous if so. |
+docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR |
+ |
+# Choose random name for docker container |
+CONTAINER_NAME="build_and_run_docker_$(uuidgen)" |
+ |
+# Run command inside docker |
+docker run \ |
+ "$@" \ |
+ -e EXTERNAL_GIT_ROOT="/var/local/jenkins/grpc" \ |
+ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ |
+ -v "$git_root:/var/local/jenkins/grpc:ro" \ |
+ -w /var/local/git/grpc \ |
+ --name=$CONTAINER_NAME \ |
+ $DOCKER_IMAGE_NAME \ |
+ bash -l "/var/local/jenkins/grpc/$DOCKER_RUN_SCRIPT" || FAILED="true" |
+ |
+# Copy output artifacts |
+if [ "$OUTPUT_DIR" != "" ] |
+then |
+ docker cp "$CONTAINER_NAME:/var/local/git/grpc/$OUTPUT_DIR" "$git_root" || FAILED="true" |
+fi |
+ |
+# remove the container, possibly killing it first |
+docker rm -f $CONTAINER_NAME || true |
+ |
+if [ "$FAILED" != "" ] |
+then |
+ exit 1 |
+fi |