diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:34:47 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:34:47 +0100 |
| commit | 2c928b76a3a030346415952c40ca86c88f4465ad (patch) | |
| tree | e72f017a1d009d77a0caa463facb51d121c3a6ba /bin | |
| parent | 42a8d479eb46fd3129cbbebecf937ce43360bcd8 (diff) | |
| download | jenkins.debian.net-2c928b76a3a030346415952c40ca86c88f4465ad.tar.xz | |
use lazy umounting as allowed
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/schroot-create.sh | 2 |
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 } |