projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bec592a) | patch
Ensure that grub_reboot doesn't return on emu.
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 23 Jan 2017 20:32:25 +0000 (23:32 +0300)
committerVladimir Serbinenko <phcoder@gmail.com>
Fri, 27 Jan 2017 20:10:23 +0000 (20:10 +0000)
commit43dbf83aa216ac9b92a98fdf9fa090192be65a6d
treee726fa8a80b3bd8c1214946af664ba08bafa71d7tree | snapshot
parentbec592aa872f7898e9665973b26156e46e73b29ecommit | diff
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.
grub-core/kern/emu/main.c diff | blob | history
GRUB2 development