Fix Docker pushing without tag

2019-06-26 08:53:53 +02:00 · 2019-06-26 08:53:53 +02:00 · 53bf72712b
parent 9183ef9196
commit 53bf72712b
1 changed files with 1 additions and 1 deletions
--- a/Util/BuildTools/Deploy.sh
+++ b/Util/BuildTools/Deploy.sh
@ -130,7 +130,7 @@ if ${DOCKER_PUSH} ; then

  log "Pushing Docker image."

-  docker push carlasim/carla
+  docker push ${DOCKER_NAME}

  popd >/dev/null