Lines Matching refs:docker
3 # Builds docker image and runs a command under it.
7 # DOCKER_RUN_SCRIPT - Script to run under docker (relative to protobuf repo root)
8 # OUTPUT_DIR - Directory that will be copied from inside docker after finishing.
9 # $@ - Extra args to pass to docker run
21 # Make sure docker image has been built. Should be instantaneous if so.
22 docker build -t $DOCKER_IMAGE_NAME $DOCKERFILE_DIR
28 # Choose random name for docker container
31 # Run command inside docker
32 docker run \
36 -e THIS_IS_REALLY_NEEDED='see https://github.com/docker/docker/issues/14203 for why docker is awful' \
47 docker cp "$CONTAINER_NAME:/var/local/git/protobuf/$OUTPUT_DIR" "$git_root" || FAILED="true"
51 docker rm -f $CONTAINER_NAME || true
