diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-05-01 11:03:39 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-01 11:05:46 +0200 |
| commit | 1efc2a1bbe1eb99de3c4fc6ef4bec2770c5934b1 (patch) | |
| tree | 5b450d2f7f2f47b3bfe6e693d66e58ef827ab551 /bin | |
| parent | 99eaf4fce6570f0774bc8695aa5511e46141d4da (diff) | |
| download | jenkins.debian.net-1efc2a1bbe1eb99de3c4fc6ef4bec2770c5934b1.tar.xz | |
reproducible: setup_schroot: mount /proc before trying to install packages
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_setup_schroot.sh | 5 |
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() { |