From c2062d5f3a568965177e03cac88b0e855320f4c5 Mon Sep 17 00:00:00 2001 From: Vladimir 'phcoder' Serbinenko Date: Tue, 30 Mar 2010 14:09:24 +0200 Subject: [PATCH] Remove useless change in grub-emu.c --- util/grub-emu.c | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/util/grub-emu.c b/util/grub-emu.c index debf53b1d..7d4544509 100644 --- a/util/grub-emu.c +++ b/util/grub-emu.c @@ -63,11 +63,6 @@ grub_arch_dl_check_header (void *ehdr) return GRUB_ERR_BAD_MODULE; } -void grub_hostfs_init (void); -void grub_hostfs_fini (void); -void grub_host_init (void); -void grub_host_fini (void); - grub_err_t grub_arch_dl_relocate_symbols (grub_dl_t mod, void *ehdr) { @@ -80,14 +75,7 @@ grub_arch_dl_relocate_symbols (grub_dl_t mod, void *ehdr) void grub_reboot (void) { - grub_fini_all (); - grub_hostfs_fini (); - grub_host_fini (); - - grub_machine_fini (); - - exit (0); - // longjmp (main_env, 1); + longjmp (main_env, 1); } void @@ -158,6 +146,11 @@ usage (int status) } +void grub_hostfs_init (void); +void grub_hostfs_fini (void); +void grub_host_init (void); +void grub_host_fini (void); + int main (int argc, char *argv[]) {