diff options
| -rwxr-xr-x | bin/chroot-installation.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/chroot-installation.sh b/bin/chroot-installation.sh index 8358005f..01b0c7c7 100755 --- a/bin/chroot-installation.sh +++ b/bin/chroot-installation.sh @@ -49,6 +49,7 @@ cleanup_all() { } execute_ctmpfile() { + set -x chmod +x $CTMPFILE set -o pipefail # see eg http://petereisentraut.blogspot.com/2010/11/pipefail.html if ! $(sudo chroot $CHROOT_TARGET $TMPFILE 2>&1 | tee $TMPLOG) ; then @@ -63,6 +64,8 @@ execute_ctmpfile() { fi fi rm $CTMPFILE + set +o pipefail + set +x echo "Debug: This should only be printed on success." } |