Lines Matching full:docker

8 # This is a helper script to enable running tests under a Docker container,
14 # This script expects a Linux x86_64 system with a recent version of Docker
17 # (http_proxy and https_proxy) set appropriately. If an alternate Docker
22 # Running this script directly will check for Docker availability and set up
23 # the Docker image.
47 # Make sure docker is available
48 if ! which docker > /dev/null; then
49 …echo "Docker is required but doesn't seem to be installed. See https://www.docker.com/ to get star…
53 # Figure out if we need to 'sudo docker'
54 if groups | grep docker > /dev/null; then
55     DOCKER="docker"
57     echo "Using sudo to invoke docker since you're not a member of the docker group..."
58     DOCKER="sudo docker"
68 # Build the Docker image
69 echo "Getting docker image up to date (this may take a few minutes)..."
70 ${DOCKER} image build \
78     tests/docker/${MBEDTLS_DOCKER_GUEST}
88     ${DOCKER} container run -it --rm \