Lines Matching refs:docker
39 # Make sure docker is available
40 if ! which docker > /dev/null; then
41 echo "Docker is required but doesn't seem to be installed. See https://www.docker.com/ to get started"
45 # Figure out if we need to 'sudo docker'
46 if groups | grep docker > /dev/null; then
47 DOCKER="docker"
49 echo "Using sudo to invoke docker since you're not a member of the docker group..."
50 DOCKER="sudo docker"
61 echo "Getting docker image up to date (this may take a few minutes)..."
70 tests/docker/${MBEDTLS_DOCKER_GUEST}