mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 00:29:23 +00:00
Fix few bugs and memory leaks
This commit is contained in:
1 parent
17785932df
commit
2980502850
5 files changed
+75
-33
No files matched your search
@@ -149,7 +149,7 @@ prepare_grub_to_access_device ()
|
||||
echo "set root='`"${grub_probe}" --device "${device}" --target=compatibility_hint`'"
|
||||
if fs_uuid="`"${grub_probe}" --device "${device}" --target=fs_uuid 2> /dev/null`" ; then
|
||||
hints="`"${grub_probe}" --device "${device}" --target=hints_string 2> /dev/null`"
|
||||
echo "if [ x$feature_platform_search_hint = xy ]; then"
|
||||
echo "if [ x\$feature_platform_search_hint = xy ]; then"
|
||||
echo " search --no-floppy --fs-uuid --set=root ${hints} ${fs_uuid}"
|
||||
echo "else"
|
||||
echo " search --no-floppy --fs-uuid --set=root ${fs_uuid}"
|
||||
|
||||
Reference in new issue
Block a user