diff options
Diffstat (limited to 'os-prober-umount-fix.patch')
| -rw-r--r-- | os-prober-umount-fix.patch | 18 |
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 000000000000..6e7937c161b9 --- /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 ++} ++ |