mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 14:59:34 +00:00
* conf/i386-linuxbios.rmk (grub_emu_SOURCES): Remove
`commands/i386/pc/halt.c' and `commands/i386/pc/reboot.c'.
* kern/i386/linuxbios/init.c (grub_halt, grub_reboot): Remove stubs.