diff options
| author | Josh Haberman <jhaberman@gmail.com> | 2016-03-03 17:04:36 -0800 |
|---|---|---|
| committer | Josh Haberman <jhaberman@gmail.com> | 2016-03-03 17:05:36 -0800 |
| commit | 2bda98f79ca9f43091d2033cf02c9732a0515a7a (patch) | |
| tree | 03efdae9d7224df721ed253937d6e1d9953c25c8 /tools/jenkins/build_and_run_docker.sh | |
| parent | 1ee0fda556b252944e7dd140ad0cd7b8949eb496 (diff) | |
| download | protobuf-2bda98f79ca9f43091d2033cf02c9732a0515a7a.tar.gz protobuf-2bda98f79ca9f43091d2033cf02c9732a0515a7a.tar.bz2 protobuf-2bda98f79ca9f43091d2033cf02c9732a0515a7a.zip | |
Properly report C++ build time.
Diffstat (limited to 'tools/jenkins/build_and_run_docker.sh')
| -rwxr-xr-x | tools/jenkins/build_and_run_docker.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tools/jenkins/build_and_run_docker.sh b/tools/jenkins/build_and_run_docker.sh index 448b00c0..18b910a7 100755 --- a/tools/jenkins/build_and_run_docker.sh +++ b/tools/jenkins/build_and_run_docker.sh @@ -46,16 +46,18 @@ cd - # Use image name based on Dockerfile location checksum DOCKER_IMAGE_NAME=$(basename $DOCKERFILE_DIR)_$(sha1sum $DOCKERFILE_DIR/Dockerfile | cut -f1 -d\ ) +# Ensure existence of ccache directory +CCACHE_DIR=/tmp/protobuf-ccache +mkdir -p $CCACHE_DIR + # Make sure docker image has been built. Should be instantaneous if so. -docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR +docker build \ + -v $CCACHE_DIR:$CCACHE_DIR \ + -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR # Choose random name for docker container CONTAINER_NAME="build_and_run_docker_$(uuidgen)" -# Ensure existence of ccache directory -CCACHE_DIR=/tmp/protobuf-ccache -mkdir -p $CCACHE_DIR - # Run command inside docker docker run \ "$@" \ |