mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-20 22:48:22 +00:00
Restore terminal settings on grub-emu exit.
This commit is contained in:
1 parent
0edd750e50
commit
64e2d139fe
2 files changed
+8
No files matched your search
@@ -65,6 +65,12 @@ grub_reboot (void)
|
||||
longjmp (main_env, 1);
|
||||
}
|
||||
|
||||
void
|
||||
grub_exit (void)
|
||||
{
|
||||
grub_reboot ();
|
||||
}
|
||||
|
||||
void
|
||||
grub_machine_init (void)
|
||||
{
|
||||
|
||||
Reference in new issue
Block a user