summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xinstallers/pc.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/installers/pc.sh b/installers/pc.sh
index 435ad7c..39e1e94 100755
--- a/installers/pc.sh
+++ b/installers/pc.sh
@@ -283,7 +283,9 @@ umount_fs()
{
local mountpoint="${1}"
- umount "${mountpoint}"
+ while ! umount "${mountpoint}"; do
+ sleep 1
+ done
rmdir "${mountpoint}"
}