diff options
| -rwxr-xr-x | scripts/build | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/build b/scripts/build index 9e429b5..05245af 100755 --- a/scripts/build +++ b/scripts/build @@ -123,6 +123,10 @@ import() fi } +if [ ! -z "${BUILDER_DEBUG}" ]; then + set -x +fi + ## # Check to see if we are wrapping a sub-command # FIXME support custom commands @@ -162,8 +166,9 @@ while [ "$#" -gt "0" ]; do shift 1 ;; (-d|-debug|--debug) - shift 1 - DEBUG=1 + BUILDER_DEBUG=1 + export BUILDER_DEBUG + set -x ;; (-*) echo "error: unknown option '${1}'" >&2 echo "try '${0} --help'" >&2 |