#!/bin/bash set -eu if [ $# -ne 0 ]; then echo "no arguments allowed for $(basename $0), given: $@" >&2 exit 64 fi bindir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" rootdir="$( cd $bindir/.. && pwd )" . $bindir/_docker.sh . $bindir/_tag.sh docker_build proxy "$(head_root_tag)" $rootdir/proxy/Dockerfile \ --build-arg="PROXY_SKIP_TESTS=${PROXY_SKIP_TESTS:-}" \ --build-arg="PROXY_UNOPTIMIZED=${PROXY_UNOPTIMIZED:-}"