From 8277773954d704c4ffd8e07099d190d2591a984d Mon Sep 17 00:00:00 2001 From: Eugenio Romano Date: Mon, 28 May 2018 11:20:13 +0100 Subject: [PATCH] fix publish script --- scripts/docker-publish.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/docker-publish.sh b/scripts/docker-publish.sh index 1fe1fe46cc..58af362428 100755 --- a/scripts/docker-publish.sh +++ b/scripts/docker-publish.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -e -eval $EXEC_LOGIN=false +eval EXEC_LOGIN=false show_help() { echo "Usage: docker_publish.sh"