diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-08-04 16:29:14 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-04 16:29:14 +0200 |
commit | 6f68bcc33594b780f2b0c5e4b9dfe3c5d665ca83 (patch) | |
tree | 27fbe2a7075eb21beb1ac6a987bd987a4284e36a | |
parent | 4a002fdcd40b1a27749f6be445d888c3302de89f (diff) | |
download | jenkins.debian.net-6f68bcc33594b780f2b0c5e4b9dfe3c5d665ca83.tar.xz |
reproducible: fail gracefully (=dont fail) if debbindiff cannot be installed from unstable in testing
-rw-r--r-- | TODO | 2 | ||||
-rwxr-xr-x | bin/schroot-create.sh | 3 |
2 files changed, 3 insertions, 2 deletions
@@ -313,6 +313,8 @@ properties: ** http://munin-monitoring.org/wiki/Native_ssh ** http://guide.munin-monitoring.org/en/latest/example/transport/ssh.html * make systems send mail +* change TZ on systems? +* change date on 2nd build hosts === qa.debian.org* diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh index bd04fbdf..25e7fa48 100755 --- a/bin/schroot-create.sh +++ b/bin/schroot-create.sh @@ -137,10 +137,9 @@ bootstrap() { echo "deb $MIRROR unstable main" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list > /dev/null sudo chroot $CHROOT_TARGET apt-get update # install debbindiff from unstable without re-adding all recommends... - sudo chroot $CHROOT_TARGET apt-get install -y -t unstable --no-install-recommends debbindiff + sudo chroot $CHROOT_TARGET apt-get install -y -t unstable --no-install-recommends debbindiff || echo "Warning: debbindiff from unstable is uninstallable at the moment." fi if ! $DEBUG ; then set +x ; fi - # double check debbindiff version if [ "$1" = "debbindiff" ] ; then echo sudo chroot $CHROOT_TARGET dpkg -l debbindiff |