mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 15:22:39 +00:00
Use grub_fatal if longjmp fails. grub_reboot is marked as noreturn so return would cause a crash.
Use grub_fatal if longjmp fails. grub_reboot is marked as noreturn so return would cause a crash.