summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-01-01 14:34:47 +0100
committerHolger Levsen <holger@layer-acht.org>2015-01-01 14:34:47 +0100
commit2c928b76a3a030346415952c40ca86c88f4465ad (patch)
treee72f017a1d009d77a0caa463facb51d121c3a6ba
parent42a8d479eb46fd3129cbbebecf937ce43360bcd8 (diff)
downloadjenkins.debian.net-2c928b76a3a030346415952c40ca86c88f4465ad.tar.xz
use lazy umounting as allowed
-rwxr-xr-xbin/schroot-create.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh
index 656ba006..7f48ae70 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -63,7 +63,7 @@ bootstrap() {
done
sudo chroot $CHROOT_TARGET apt-get install -y --no-install-recommends "$@"
for d in $DEVICES ; do
- sudo umount $CHROOT_TARGET/$d
+ sudo umount -l $CHROOT_TARGET/$d
done
fi
}