From ebec753adc89feb0ff8870d2d2609555f6be87ef Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Fri, 1 May 2015 12:46:31 +0200 Subject: reproducible: also umount /proc in cleanup() --- bin/reproducible_setup_schroot.sh | 1 + 1 file changed, 1 insertion(+) 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 } -- cgit v1.2.3-70-g09d2