42 |
|
|
43 |
|
|
44 |
|
|
45 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(timeout) |
|
void |
|
|
grub_timeout_init (void) |
|
|
{ |
|
|
grub_register_command ("timeout", grub_cmd_timeout, GRUB_COMMAND_FLAG_MENU, |
|
|
"timeout SECS", "Set the timeout", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_timeout_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("timeout"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
46 |
{ |
{ |
47 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
48 |
grub_register_command ("timeout", grub_cmd_timeout, GRUB_COMMAND_FLAG_MENU, |
grub_register_command ("timeout", grub_cmd_timeout, GRUB_COMMAND_FLAG_MENU, |
49 |
"timeout SECS", "Set the timeout", 0); |
"timeout SECS", "Set the timeout", 0); |
50 |
} |
} |
51 |
|
|
52 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(timeout) |
53 |
{ |
{ |
54 |
grub_unregister_command ("timeout"); |
grub_unregister_command ("timeout"); |
55 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|