44 |
|
|
45 |
|
|
46 |
|
|
47 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(default) |
|
void |
|
|
grub_default_init (void) |
|
|
{ |
|
|
grub_register_command ("default", grub_cmd_default, GRUB_COMMAND_FLAG_MENU, |
|
|
"default ENTRY", "Set the default entry", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_default_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("default"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
48 |
{ |
{ |
49 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
50 |
grub_register_command ("default", grub_cmd_default, GRUB_COMMAND_FLAG_MENU, |
grub_register_command ("default", grub_cmd_default, GRUB_COMMAND_FLAG_MENU, |
51 |
"default ENTRY", "Set the default entry", 0); |
"default ENTRY", "Set the default entry", 0); |
52 |
} |
} |
53 |
|
|
54 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(default) |
55 |
{ |
{ |
56 |
grub_unregister_command ("default"); |
grub_unregister_command ("default"); |
57 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|