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.
This commit is contained in:
Vladimir Serbinenko 2017-01-23 23:32:25 +03:00
parent bec592aa87
commit 43dbf83aa2

View file

@ -63,6 +63,7 @@ void
grub_reboot (void) grub_reboot (void)
{ {
longjmp (main_env, 1); longjmp (main_env, 1);
grub_fatal ("longjmp failed");
} }
void void