diff options
author | Robin H. Johnson <robbat2@gentoo.org> | 2020-06-20 15:42:50 -0700 |
---|---|---|
committer | Robin H. Johnson <robbat2@gentoo.org> | 2020-06-20 15:42:50 -0700 |
commit | 67b5726c0eb8532aa2255395afaadffff3951d10 (patch) | |
tree | 3f7b6bb3d52274ab6e458ebb0393a978d3c015f1 /bin | |
parent | bin/build: document better (diff) | |
download | www-67b5726c0eb8532aa2255395afaadffff3951d10.tar.gz www-67b5726c0eb8532aa2255395afaadffff3951d10.tar.bz2 www-67b5726c0eb8532aa2255395afaadffff3951d10.zip |
bin/build: support TRACE=1
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/build.sh b/bin/build.sh index b91cb4c..f9cd530 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -1,5 +1,7 @@ #!/bin/bash set -e +TRACE=${TRACE:=0} +[[ $TRACE -eq 1 ]] && set -x IMAGE_NAME=docker.gentoo.org/sites/www IMAGE_TAG=latest IMAGE=${IMAGE_NAME}:${IMAGE_TAG} |