| Index: src/scripts/enter_chroot.sh
|
| diff --git a/src/scripts/enter_chroot.sh b/src/scripts/enter_chroot.sh
|
| index f99c8597375884f5dc8a4b97798d1ff25be6bc22..804d8ce64e16c4da7c15f4f710f8e2c294591ddb 100755
|
| --- a/src/scripts/enter_chroot.sh
|
| +++ b/src/scripts/enter_chroot.sh
|
| @@ -189,7 +189,7 @@ function teardown_env {
|
| MOUNTED_PATH=$(readlink -f "$FLAGS_chroot")
|
| echo "Unmounting chroot environment."
|
| for i in $(mount | grep -F "on $MOUNTED_PATH/" | awk '{print $3}'); do
|
| - sudo umount "$i" || die "Failed to umount $i"
|
| + safe_umount "$i"
|
| done
|
| fi
|
| ) 200>>"$LOCKFILE" || die "teardown_env failed"
|
|
|