summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-01-01 14:45:07 +0100
committerHolger Levsen <holger@layer-acht.org>2015-01-01 14:45:07 +0100
commit3ab572ef870b7e5f6b1c4c1fe6b1fe358ed089ae (patch)
treec0340f372ce2025055ffc2369b19331550b66361
parent2c928b76a3a030346415952c40ca86c88f4465ad (diff)
downloadjenkins.debian.net-3ab572ef870b7e5f6b1c4c1fe6b1fe358ed089ae.tar.xz
umount in reverse order
-rwxr-xr-xbin/schroot-create.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh
index 7f48ae70..0d20be6f 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -57,12 +57,12 @@ bootstrap() {
sudo chroot $CHROOT_TARGET apt-get update
if [ -n "$1" ] ; then
- DEVICES="proc dev dev/pts"
- for d in $DEVICES ; do
+ for d in proc dev dev/pts ; do
sudo mount --bind /$d $CHROOT_TARGET/$d
done
sudo chroot $CHROOT_TARGET apt-get install -y --no-install-recommends "$@"
- for d in $DEVICES ; do
+ # umount in reverse order
+ for d in dev/pts dev proc ; do
sudo umount -l $CHROOT_TARGET/$d
done
fi