From e89e84a22b5efe1032bd2a5b40436c9fc3b3b67d Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 10 Mar 2013 15:12:06 +0000 Subject: Handle an apt-get upgrade problem more gracefully --- jenkinstool | 2 ++ 1 file changed, 2 insertions(+) (limited to 'jenkinstool') diff --git a/jenkinstool b/jenkinstool index 728bddc..42c9628 100755 --- a/jenkinstool +++ b/jenkinstool @@ -443,6 +443,8 @@ deb %(global.artifacts-url)s/debian %(host.debian-dist)s-ci main EOF sudo apt-get update || true +sudo apt-get --no-remove --allow-unauthenticated -y upgrade || \ + sudo apt-get -y -f install sudo apt-get --no-remove --allow-unauthenticated -y upgrade cat << EOF > /var/lib/jenkins/.dput.cf -- cgit v1.2.1