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" |