diff --git a/sbin/tag_and_push_docker_image.sh b/sbin/tag_and_push_docker_image.sh index 1a702ab44384aecfc8bcb3d087095d0cbc727fc3..7d70a6645154d1509ef9ee4b7eed8e9ab7212337 100755 --- a/sbin/tag_and_push_docker_image.sh +++ b/sbin/tag_and_push_docker_image.sh @@ -161,9 +161,9 @@ if [ ! -z "${1+x}" ] && [ "${1}" != "pull" ]; then local_url="${LOCAL_DOCKER_REGISTRY_HOST}/${LOCAL_DOCKER_REGISTRY_USER}/${2}" # If tag is not latest, than it is not a tagged master build and we can - # pull the latest image as cache. + # pull the latest image as cache (if it already exists). if [ "${tag}" != "latest" ]; then - docker pull "${local_url}:latest" + docker pull "${local_url}:latest" || true fi make build "${1}"