Update run-docker.sh

This commit is contained in:
Pascal Vizeli 2017-05-14 11:41:45 +02:00 committed by GitHub
parent 24a75be43f
commit 60c9a5c277

View file

@ -58,6 +58,7 @@ done
echo "[INFO] Docker was initialized" echo "[INFO] Docker was initialized"
if [ "$DOCKER_CACHE" == "true" ]; then if [ "$DOCKER_CACHE" == "true" ]; then
docker pull "$DOCKER_IMAGE:latest"
CACHE_CMD="--cache-from $DOCKER_IMAGE:latest" CACHE_CMD="--cache-from $DOCKER_IMAGE:latest"
fi fi