diff options
Diffstat (limited to 'jenkins/build_and_run_docker.sh')
| -rwxr-xr-x | jenkins/build_and_run_docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/build_and_run_docker.sh b/jenkins/build_and_run_docker.sh index abc6f055..d2ba5de8 100755 --- a/jenkins/build_and_run_docker.sh +++ b/jenkins/build_and_run_docker.sh @@ -25,6 +25,7 @@ docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR CCACHE_DIR=/tmp/protobuf-ccache mkdir -p $CCACHE_DIR + # Choose random name for docker container CONTAINER_NAME="build_and_run_docker_$(uuidgen)" |