Index: third_party/protobuf/jenkins/build_and_run_docker.sh |
diff --git a/third_party/protobuf/jenkins/build_and_run_docker.sh b/third_party/protobuf/jenkins/build_and_run_docker.sh |
new file mode 100755 |
index 0000000000000000000000000000000000000000..abc6f055c463d8661522f23aacc08475f3276ff2 |
--- /dev/null |
+++ b/third_party/protobuf/jenkins/build_and_run_docker.sh |
@@ -0,0 +1,56 @@ |
+#!/bin/bash |
+# |
+# Builds docker image and runs a command under it. |
+# This is a generic script that is configured with the following variables: |
+# |
+# DOCKERFILE_DIR - Directory in which Dockerfile file is located. |
+# DOCKER_RUN_SCRIPT - Script to run under docker (relative to protobuf repo root) |
+# OUTPUT_DIR - Directory that will be copied from inside docker after finishing. |
+# $@ - Extra args to pass to docker run |
+ |
+ |
+set -ex |
+ |
+cd $(dirname $0)/.. |
+git_root=$(pwd) |
+cd - |
+ |
+# 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 |
+ |
+# Ensure existence of ccache directory |
+CCACHE_DIR=/tmp/protobuf-ccache |
+mkdir -p $CCACHE_DIR |
+ |
+# Choose random name for docker container |
+CONTAINER_NAME="build_and_run_docker_$(uuidgen)" |
+ |
+# Run command inside docker |
+docker run \ |
+ "$@" \ |
+ -e CCACHE_DIR=$CCACHE_DIR \ |
+ -e EXTERNAL_GIT_ROOT="/var/local/jenkins/protobuf" \ |
+ -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \ |
+ -v "$git_root:/var/local/jenkins/protobuf:ro" \ |
+ -v $CCACHE_DIR:$CCACHE_DIR \ |
+ -w /var/local/git/protobuf \ |
+ --name=$CONTAINER_NAME \ |
+ $DOCKER_IMAGE_NAME \ |
+ bash -l "/var/local/jenkins/protobuf/$DOCKER_RUN_SCRIPT" || FAILED="true" |
+ |
+# Copy output artifacts |
+if [ "$OUTPUT_DIR" != "" ] |
+then |
+ docker cp "$CONTAINER_NAME:/var/local/git/protobuf/$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 |