enable debugging during builds

diff --git a/all b/all
index b0758fa5350eda22fde834f5403b5a024040d3bb..2c6b18b4b78f0e0bc5822d9eef334ef405191518 100755 (executable)
--- a/all
+++ b/all
@@ -978,6 +978,7 @@ case "$cmd" in
                srcdir=$5
                depsdir=$6
                targetfiles=$7
                srcdir=$5
                depsdir=$6
                targetfiles=$7

+               set -x

                if [ -n "$targetfiles" ]; then
                        case " $HOSTS_THAT_ARE_DISABLED " in
                                *\ $host\ *)
                if [ -n "$targetfiles" ]; then
                        case " $HOSTS_THAT_ARE_DISABLED " in
                                *\ $host\ *)