mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 16:49:23 +00:00
2008-11-09 Robert Millan <rmh@aybabtu.com>
* commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
`terminal_input' / `terminal_output', not `terminal'.
This commit is contained in:
1 parent
2a9c59400b
commit
132e411342
2 files changed
+7
-1
No files matched your search
@@ -1,3 +1,8 @@
|
||||
2008-11-09 Robert Millan <rmh@aybabtu.com>
|
||||
|
||||
* commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
|
||||
`terminal_input' / `terminal_output', not `terminal'.
|
||||
|
||||
2008-11-08 Robert Millan <rmh@aybabtu.com>
|
||||
|
||||
* Makefile.in (include_DATA): Fix srcdir=. assumption.
|
||||
|
||||
+2
-1
@@ -127,5 +127,6 @@ GRUB_MOD_INIT(terminal)
|
||||
|
||||
GRUB_MOD_FINI(terminal)
|
||||
{
|
||||
grub_unregister_command ("terminal");
|
||||
grub_unregister_command ("terminal_input");
|
||||
grub_unregister_command ("terminal_output");
|
||||
}
|
||||
Reference in new issue
Block a user