diff options
author | Holger Levsen <holger@layer-acht.org> | 2013-04-21 12:47:56 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2013-04-21 12:47:56 +0200 |
commit | e2a714e6d1d92cfeed0edb51880bdd4a5075e67d (patch) | |
tree | c2d2f04a8d2850b4e1e236b061f15abf955ce0e8 | |
parent | 6a9955465493afdaf404130a319d8b1d90e4e38c (diff) | |
download | jenkins.debian.net-e2a714e6d1d92cfeed0edb51880bdd4a5075e67d.tar.xz |
workaround #705452
-rwxr-xr-x | bin/chroot-installation.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/chroot-installation.sh b/bin/chroot-installation.sh index 4fb26f8a..271e7db0 100755 --- a/bin/chroot-installation.sh +++ b/bin/chroot-installation.sh @@ -90,9 +90,9 @@ prepare_upgrade2() { cat >> $CTMPFILE <<-EOF echo "deb $MIRROR $1 main contrib non-free" > /etc/apt/sources.list $SCRIPT_HEADER -# work around #703146 -rm /var/lib/apt/lists/*Release apt-get update +# workaround #705452 +(dpkg -l docbook-xml && apt-get -y install docbook-xml) || true apt-get -y upgrade apt-get -y dist-upgrade apt-get -y dist-upgrade |