diff options
Diffstat (limited to 'redhat/docker/build.sh')
| -rwxr-xr-x | redhat/docker/build.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/redhat/docker/build.sh b/redhat/docker/build.sh index af06b3a6e..88adfbe38 100755 --- a/redhat/docker/build.sh +++ b/redhat/docker/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -ex DISTRIB="$1" TDE_VERSION="$2" @@ -10,8 +10,6 @@ ARCH="$3" IMAGE="trinity.${DISTRIB}.${ARCH}:${TDE_VERSION}" FILE="${HOME}/tde/docker/${IMAGE}.tar.gz" -#docker rmi -f "${IMAGE}" - if [ $(docker images -q "${IMAGE}") ]; then echo "Docker image '${IMAGE}' already exists." elif [ -r "${FILE}" ]; then |