summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_setup_schroot.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_setup_schroot.sh b/bin/reproducible_setup_schroot.sh
index a0d3a8b6..a5d7986f 100755
--- a/bin/reproducible_setup_schroot.sh
+++ b/bin/reproducible_setup_schroot.sh
@@ -108,6 +108,7 @@ EOF
cleanup() {
if [ -d $CHROOT_TARGET ]; then
+ sudo umount -l $CHROOT_TARGET/proc || true
sudo rm -rf --one-file-system $CHROOT_TARGET || fuser -mv $CHROOT_TARGET
fi
}