From f2c1630ff4b4a5adc0b8bf02442b6cecf0aa8015 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Mon, 21 Jul 2014 21:54:09 -0400
Subject: installers/pc: Keep running umount until it works

---
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}"
 }
 
--
cgit v0.9.1