diff options
| -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 |