diff options
| author | mo khan <mo.khan@gmail.com> | 2020-03-04 12:50:07 -0700 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-03-04 12:50:07 -0700 |
| commit | 9eb2b48ee42a340fb231a240b3f451eb5ff8f810 (patch) | |
| tree | e2261eed43f19d5966ffd8913e4524a9ec146e6e /bin/docker-build | |
| parent | b0b72800e6a7f06ac1956835c78351eea526f25d (diff) | |
Remove TOOLS_IMAGE
Diffstat (limited to 'bin/docker-build')
| -rwxr-xr-x | bin/docker-build | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/bin/docker-build b/bin/docker-build index 8b07e0e..39a9160 100755 --- a/bin/docker-build +++ b/bin/docker-build @@ -6,10 +6,7 @@ cd "$(dirname "$0")/.." if command -v docker; then IMAGE_NAME=${IMAGE_NAME:-$(basename "$PWD"):latest} - TOOLS_IMAGE=${TOOLS_IMAGE:-$(basename "$PWD")/tools:master} - - docker build -t "$TOOLS_IMAGE" -f Dockerfile.tools --pull . - docker build --build-arg TOOLS_IMAGE="$TOOLS_IMAGE" -t "$IMAGE_NAME" . + docker build -t "$IMAGE_NAME" . else echo "Install docker: https://docs.docker.com/engine/installation/" exit 1 |