diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-09-22 20:40:38 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-09-22 20:40:38 +0200 |
| commit | 8ac31a8b9cc33769cb992e320c64a7ea6aad4ea4 (patch) | |
| tree | 9f8ad23465d4c0f072d07083f57ba054bd442744 | |
| parent | 575b46c26631e5573756c6910cd9efa729b4a981 (diff) | |
| download | jenkins.debian.net-8ac31a8b9cc33769cb992e320c64a7ea6aad4ea4.tar.xz | |
reproducible: be more verbose on repeated failure
| -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 |