diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-12-21 14:52:40 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-12-21 14:52:40 +0100 |
| commit | 02ee8ed38f99a393548668de92e4e36b4fec2c21 (patch) | |
| tree | 99a453bf52d80e72ac30701957d8c16de9a6303f | |
| parent | 14d21dca0d04dafebb936727ed6f5981f7ccea98 (diff) | |
| download | jenkins.debian.net-02ee8ed38f99a393548668de92e4e36b4fec2c21.tar.xz | |
reproducible Debian: let's not fail the maintenance job just because the Arch Linux setup is broken since half a year
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index c3449474..dd083159 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -121,8 +121,9 @@ if [ "$HOSTNAME" = "${ARCHLINUX_BUILD_NODE}" ] ; then schroot --directory /tmp -c source:jenkins-reproducible-archlinux -u root -- pacman -Syu --noconfirm RESULT=$? if [ $RESULT -eq 1 ] ; then - echo "Warning: failed to update Arch Linux schroot." - DIRTY=true + # FIXME: this should be a warning, not a shrugs - but Arch Linux will soon be build differently… + echo "shrugs: failed to update Arch Linux schroot." + #DIRTY=true else echo "$(date -u) - updating Arch Linux schroot done." fi |