mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 18:49:22 +00:00
fix a bug in run_menu.
This commit is contained in:
1 parent
6ec8139b75
commit
f2151e4b57
3 files changed
+12
-12
No files matched your search
+3
-7
@@ -500,13 +500,7 @@ restart:
|
||||
if (run_script (cur_entry, heap))
|
||||
{
|
||||
if (fallback_entry < 0)
|
||||
{
|
||||
/* Both the entry and the fallback failed, so wait for
|
||||
input. */
|
||||
grub_printf (" Press any key to continue...");
|
||||
(void) getkey ();
|
||||
break;
|
||||
}
|
||||
break;
|
||||
else
|
||||
{
|
||||
cur_entry = NULL;
|
||||
@@ -515,6 +509,8 @@ restart:
|
||||
fallback_entry = -1;
|
||||
}
|
||||
}
|
||||
else
|
||||
break;
|
||||
}
|
||||
|
||||
goto restart;
|
||||
|
||||
Reference in new issue
Block a user