diff options
| -rwxr-xr-x | bin/schroot-create.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh index d0deea9e..40833fbc 100755 --- a/bin/schroot-create.sh +++ b/bin/schroot-create.sh @@ -105,7 +105,7 @@ robust_chroot_apt() { if [ ! -z "$RESULT" ] ; then echo "$(date -u) - 'apt-get $@' failed, sleeping 5min before retrying..." sleep 5m - sudo chroot $CHROOT_TARGET apt-get $@ + sudo chroot $CHROOT_TARGET apt-get $@ || ( echo "$(date -u ) - 2nd 'apt-get $@' failed, giving up..." ; exit 1 ) fi rm -f $TMPLOG } @@ -123,7 +123,7 @@ bootstrap() { echo "$(date -u) - initial debootstrap failed, sleeping 5min before retrying..." sudo rm -rf --one-file-system $CHROOT_TARGET sleep 5m - sudo debootstrap $SUITE $CHROOT_TARGET $MIRROR + sudo debootstrap $SUITE $CHROOT_TARGET $MIRROR || ( echo "$(date -u ) - 2nd debootstrap failed, giving up..." ; exit 1 ) fi rm -f $TMPLOG |