summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@mapreri.org>2015-05-01 11:03:39 +0200
committerHolger Levsen <holger@layer-acht.org>2015-05-01 11:05:46 +0200
commit1efc2a1bbe1eb99de3c4fc6ef4bec2770c5934b1 (patch)
tree5b450d2f7f2f47b3bfe6e693d66e58ef827ab551
parent99eaf4fce6570f0774bc8695aa5511e46141d4da (diff)
downloadjenkins.debian.net-1efc2a1bbe1eb99de3c4fc6ef4bec2770c5934b1.tar.xz
reproducible: setup_schroot: mount /proc before trying to install packages
-rwxr-xr-xbin/reproducible_setup_schroot.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_setup_schroot.sh b/bin/reproducible_setup_schroot.sh
index 1b45fc78..a0d3a8b6 100755
--- a/bin/reproducible_setup_schroot.sh
+++ b/bin/reproducible_setup_schroot.sh
@@ -52,6 +52,9 @@ bootstrap() {
fi
echo "deb-src $MIRROR $SUITE main" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list > /dev/null
+ # things break without /proc
+ sudo mount --bind /proc $CHROOT_TARGET/proc
+
sudo chroot $CHROOT_TARGET apt-get update
if [ -n "$1" ] ; then
set -x
@@ -99,6 +102,8 @@ EOF
rm $TMPFILE
sudo chroot $CHROOT_TARGET apt-get update
fi
+
+ sudo umount -l $CHROOT_TARGET/proc
}
cleanup() {