mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-29 10:39:22 +00:00
enable emuusb and emupci on emu platform only
Also explicitly disable them in configure unless built for emu platform. Signed-off-by: Andrey Borzenkov <arvidjaar@gmail.com>
This commit is contained in:
1 parent
67508925d0
commit
e7d09ac4f7
3 files changed
+15
No files matched your search
@@ -1026,6 +1026,13 @@ fi
|
||||
AC_SUBST([enable_grub_emu_sdl])
|
||||
AC_SUBST([enable_grub_emu_usb])
|
||||
AC_SUBST([enable_grub_emu_pci])
|
||||
|
||||
else
|
||||
|
||||
# Ignore --enable-emu-* if platform is not emu
|
||||
enable_grub_emu_sdl=no
|
||||
enable_grub_emu_usb=no
|
||||
enable_grub_emu_pci=no
|
||||
fi
|
||||
|
||||
AC_ARG_ENABLE([grub-mkfont],
|
||||
|
||||
Reference in new issue
Block a user