diff options
Diffstat (limited to 'disk/grub2/CONFIGURE')
| -rwxr-xr-x | disk/grub2/CONFIGURE | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/disk/grub2/CONFIGURE b/disk/grub2/CONFIGURE index f565465809..f79d5ef269 100755 --- a/disk/grub2/CONFIGURE +++ b/disk/grub2/CONFIGURE @@ -2,6 +2,8 @@ # mkfont moved to an optional dependency # list_remove GRUB2_OPTS '--enable-grub-mkfont' && +list_remove GRUB2_OPTS '--enable-grub-emu' && +list_remove GRUB2_OPTS '--enable-grub-pe2elf' && config_query_option GRUB2_OPTS 'include memory manger debugging?' n \ '--enable-mm-debug' \ |