45 |
{ |
{ |
46 |
grub_register_command ("configfile", grub_cmd_configfile, |
grub_register_command ("configfile", grub_cmd_configfile, |
47 |
GRUB_COMMAND_FLAG_BOTH, "configfile FILE", |
GRUB_COMMAND_FLAG_BOTH, "configfile FILE", |
48 |
"Load config file", 0); |
"Load another config file.", 0); |
49 |
} |
} |
50 |
|
|
51 |
void |
void |
56 |
#else /* ! GRUB_UTIL */ |
#else /* ! GRUB_UTIL */ |
57 |
GRUB_MOD_INIT |
GRUB_MOD_INIT |
58 |
{ |
{ |
59 |
(void)mod; /* To stop warning. */ |
(void) mod; /* To stop warning. */ |
60 |
grub_register_command ("configfile", grub_cmd_configfile, |
grub_register_command ("configfile", grub_cmd_configfile, |
61 |
GRUB_COMMAND_FLAG_BOTH, "configfile FILE", |
GRUB_COMMAND_FLAG_BOTH, "configfile FILE", |
62 |
"Load config file", 0); |
"Load another config file.", 0); |
63 |
} |
} |
64 |
|
|
65 |
GRUB_MOD_FINI |
GRUB_MOD_FINI |