8cef6cc5ea
- Support a case where a kernel named vmlinuz/x is used under Gentoo, bug #1223237
19 lines
400 B
Diff
19 lines
400 B
Diff
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
|
|
+}
|
|
+
|