diff options
| author | Lars Wirzenius <liw@liw.fi> | 2013-03-10 15:12:06 +0000 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2013-03-10 15:12:06 +0000 |
| commit | e89e84a22b5efe1032bd2a5b40436c9fc3b3b67d (patch) | |
| tree | 84c4329b603e55f1b3a76f18d1ba1f25df692403 /jenkinstool | |
| parent | 80133ea93fedcfc2abaa8235473fb42fec6ad7c5 (diff) | |
| download | jenkinstool-e89e84a22b5efe1032bd2a5b40436c9fc3b3b67d.tar.gz | |
Handle an apt-get upgrade problem more gracefully
Diffstat (limited to 'jenkinstool')
| -rwxr-xr-x | jenkinstool | 2 |
1 files changed, 2 insertions, 0 deletions
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 |