Ensure that grub_reboot doesn't return on emu.

Use grub_fatal if longjmp fails.

grub_reboot is marked as noreturn so return would cause
a crash.

diff --git a/grub-core/kern/emu/main.c b/grub-core/kern/emu/main.c
index f91280f68cfd45210081922c8e9b81f25c411e0e..425bb96034726ea99ad4ebd0436957c6da4cdf8f 100644 (file)
--- a/grub-core/kern/emu/main.c
+++ b/grub-core/kern/emu/main.c
@@ -63,6 +63,7 @@ void
 grub_reboot (void)
 {
   longjmp (main_env, 1);
+  grub_fatal ("longjmp failed");
 }
 
 void