diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/docker.bash | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/docker.bash b/scripts/docker.bash index d33e680..d846122 100755 --- a/scripts/docker.bash +++ b/scripts/docker.bash @@ -3,11 +3,6 @@ set -e set -o pipefail -if [[ -n "$1" && "$1" != master && ! "$1" =~ [0-9]+\.[0-9]+ ]]; then - echo "docker.bash: malformed tag: $1" >&2 - exit 1 -fi - tag="${1:-latest}" args=(bash) |
