diff options
author | Mark Ferrell <major@homeonderanged.org> | 2012-04-17 15:32:25 -0500 |
---|---|---|
committer | Mark Ferrell <major@homeonderanged.org> | 2012-04-17 16:47:36 -0500 |
commit | 4ac249cac24ffd1ab0073aa2f162eb71eeea9df2 (patch) | |
tree | d3d0382470997a945018d315d21dcc7e3e435430 | |
parent | d4cd12a3f7d5a80d04a2786a844f376d5b9f0490 (diff) |
Properly enable debugging
-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 |