summarylogtreecommitdiffstats
path: root/os-prober-umount-fix.patch
diff options
context:
space:
mode:
Diffstat (limited to 'os-prober-umount-fix.patch')
-rw-r--r--os-prober-umount-fix.patch18
1 files changed, 18 insertions, 0 deletions
diff --git a/os-prober-umount-fix.patch b/os-prober-umount-fix.patch
new file mode 100644
index 00000000000..6e7937c161b
--- /dev/null
+++ b/os-prober-umount-fix.patch
@@ -0,0 +1,18 @@
+Index: os-prober/common.sh
+===================================================================
+--- os-prober.orig/common.sh
++++ os-prober/common.sh
+@@ -336,3 +336,13 @@ linux_mount_boot () {
+
+ mountboot="$bootpart $mounted"
+ }
++
++umount_exec=$(which umount)
++umount() {
++ if ! $umount_exec $@ 2> /dev/null; then
++ error "umount error, retrying after 1 sec"
++ sleep 1
++ $umount_exec $@
++ fi
++}
++