diff options
| author | Elan Ruusamäe | 2018-12-31 08:58:57 (GMT) |
|---|---|---|
| committer | Elan Ruusamäe | 2018-12-31 08:58:57 (GMT) |
| commit | 5d14e3f96484292cde1b91b75eabe8eb5fa71d9f (patch) | |
| tree | e232e7fcfdc8818d0e6583e1f64531d1ce3731e8 | |
| parent | 3ac42f8dc7c05a1be1d4b9f7295253d119c1c58c (diff) | |
| download | cleanbuild-5d14e3f96484292cde1b91b75eabe8eb5fa71d9f.zip cleanbuild-5d14e3f96484292cde1b91b75eabe8eb5fa71d9f.tar.gz | |
cleanbuild-docker: add tracing option
| -rwxr-xr-x | cleanbuild-docker.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/cleanbuild-docker.sh b/cleanbuild-docker.sh index 9edc122..cd3450b 100755 --- a/cleanbuild-docker.sh +++ b/cleanbuild-docker.sh @@ -6,6 +6,7 @@ PROGRAM=${0##*/} # defaults : ${PACKAGE_NAME=''} : ${NETWORKING=false} +: ${TRACING=false} dir=$(pwd) image=registry.gitlab.com/pld-linux/cleanbuild @@ -106,12 +107,15 @@ package_build() { parse_options() { local t - t=$(getopt -o '' --long 'network' -n "$PROGRAM" -- "$@") + t=$(getopt -o 'x' --long 'network' -n "$PROGRAM" -- "$@") [ $? != 0 ] && exit $? eval set -- "$t" while :; do case "$1" in + -x) + TRACING=true + ;; --network) NETWORKING=true ;; @@ -133,8 +137,8 @@ parse_options() { main() { parse_options "$@" + $TRACING && set -x local name="cleanbuild-$PACKAGE_NAME" - create_container package_prepare package_build |