70 |
} |
} |
71 |
|
|
72 |
|
|
73 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(cat) |
|
void |
|
|
grub_cat_init (void) |
|
|
{ |
|
|
grub_register_command ("cat", grub_cmd_cat, GRUB_COMMAND_FLAG_BOTH, |
|
|
"cat FILE", "Show the contents of a file.", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_cat_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("cat"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
74 |
{ |
{ |
75 |
(void) mod; /* To stop warning. */ |
(void) mod; /* To stop warning. */ |
76 |
grub_register_command ("cat", grub_cmd_cat, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("cat", grub_cmd_cat, GRUB_COMMAND_FLAG_BOTH, |
77 |
"cat FILE", "Show the contents of a file.", 0); |
"cat FILE", "Show the contents of a file.", 0); |
78 |
} |
} |
79 |
|
|
80 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(cat) |
81 |
{ |
{ |
82 |
grub_unregister_command ("cat"); |
grub_unregister_command ("cat"); |
83 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|