2015-10-20 20:38:28 +00:00
|
|
|
Index: os-prober/common.sh
|
2014-05-06 19:01:56 +00:00
|
|
|
===================================================================
|
2015-10-20 20:38:28 +00:00
|
|
|
--- os-prober.orig/common.sh
|
|
|
|
|
+++ os-prober/common.sh
|
|
|
|
|
@@ -336,3 +336,13 @@ linux_mount_boot () {
|
2014-05-06 19:01:56 +00:00
|
|
|
|
|
|
|
|
mountboot="$bootpart $mounted"
|
|
|
|
|
}
|
|
|
|
|
+
|
|
|
|
|
+umount_exec=$(which umount)
|
|
|
|
|
+umount() {
|
2014-10-25 16:00:32 +00:00
|
|
|
+ if ! $umount_exec $@ 2> /dev/null; then
|
2014-05-06 19:01:56 +00:00
|
|
|
+ error "umount error, retrying after 1 sec"
|
|
|
|
|
+ sleep 1
|
|
|
|
|
+ $umount_exec $@
|
|
|
|
|
+ fi
|
|
|
|
|
+}
|
|
|
|
|
+
|
