2009-06-11 Pavel Roskin <proski@gnu.org>

	* kern/efi/efi.c (grub_exit): Add infinite loop at the end to
	fix a gcc warning and ensure that the function won't ever exit.

diff --git a/ChangeLog b/ChangeLog
index 1df378d5ffd779d756b0b5682a426814ab50b27e..26d5adb64203528ce7108b9fdbded69d3f3c1d42 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2009-06-11  Pavel Roskin  <proski@gnu.org>
 
+       * kern/efi/efi.c (grub_exit): Add infinite loop at the end to
+       fix a gcc warning and ensure that the function won't ever exit.
+
        * kern/i386/ieee1275/init.c: Add missing prototype for
        grub_stop_floppy().
 

diff --git a/kern/efi/efi.c b/kern/efi/efi.c
index 3da2beba3e952d56a8f1df5266ae935eff365c54..8e09a90c0b5e001b7f16a5662efddbcb52606ae3 100644 (file)
--- a/kern/efi/efi.c
+++ b/kern/efi/efi.c
@@ -158,6 +158,7 @@ grub_exit (void)
   grub_efi_fini ();
   efi_call_4 (grub_efi_system_table->boot_services->exit,
               grub_efi_image_handle, GRUB_EFI_SUCCESS, 0, 0);
+  for (;;) ;
 }
 
 void