diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-05-24 14:44:20 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-05-24 14:44:20 -0400 |
| commit | 78a33b22a231fae12bb0ce6be590db9817dee844 (patch) | |
| tree | 46f9daf007a12a3a415e3f3622633a96a5e3289b /standalone/android/buildchroot-inchroot | |
| parent | ea1e36a49701687c2fa829768ae21cc3997acf4c (diff) | |
turn on -x debugging in these scripts
Diffstat (limited to 'standalone/android/buildchroot-inchroot')
| -rwxr-xr-x | standalone/android/buildchroot-inchroot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/standalone/android/buildchroot-inchroot b/standalone/android/buildchroot-inchroot index add03f847..533f5b75f 100755 --- a/standalone/android/buildchroot-inchroot +++ b/standalone/android/buildchroot-inchroot @@ -1,6 +1,7 @@ #!/bin/sh # Runs inside the chroot set up by buildchroot set -e +set -x if [ "$(whoami)" != root ]; then echo "Must run this as root!" >&2 exit 1 |