mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 23:32:39 +00:00
review fixes
This commit is contained in:
1 parent
13d7b4b0de
commit
e508977630
10 files changed
+49
-45
No files matched your search
@@ -32,6 +32,10 @@
|
||||
#include <grub/i18n.h>
|
||||
#include <grub/charset.h>
|
||||
|
||||
#if defined (GRUB_MACHINE_EMU)
|
||||
#include <grub/emu/misc.h>
|
||||
#endif
|
||||
|
||||
#define GRUB_DEFAULT_HISTORY_SIZE 50
|
||||
|
||||
static int nested_level = 0;
|
||||
@@ -476,7 +480,9 @@ grub_normal_init_page (struct grub_term_output *term)
|
||||
static void
|
||||
read_lists (const char *val)
|
||||
{
|
||||
#if defined(GRUB_MACHINE_EMU)
|
||||
if (! grub_no_autoload)
|
||||
#endif
|
||||
{
|
||||
read_command_list (val);
|
||||
read_fs_list (val);
|
||||
|
||||
Reference in new issue
Block a user