mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 08:39:28 +00:00
Make menus work again.
This commit is contained in:
1 parent
0efa52337e
commit
d654cfa0fd
4 files changed
+26
-14
No files matched your search
+1
-1
@@ -280,7 +280,7 @@ typedef enum
|
||||
extern unsigned long install_partition;
|
||||
extern unsigned long boot_drive;
|
||||
extern char version_string[];
|
||||
extern char *config_file;
|
||||
extern char config_file[];
|
||||
|
||||
#ifdef GRUB_UTIL
|
||||
/* If not using config file, this variable is set to zero,
|
||||
|
||||
Reference in new issue
Block a user