diff options
Diffstat (limited to 'disk/grub2/CONFIGURE')
| -rwxr-xr-x | disk/grub2/CONFIGURE | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/disk/grub2/CONFIGURE b/disk/grub2/CONFIGURE index 316d411f10..62fff9efbd 100755 --- a/disk/grub2/CONFIGURE +++ b/disk/grub2/CONFIGURE @@ -17,4 +17,7 @@ config_query_option GRUB2_OPTS 'include memory manger debugging?' n \ config_query_option GRUB2_OPTS 'build and install the efiemu runtimes?' y \ '--enable-efiemu' \ - '--disable-efiemu' + '--disable-efiemu' && + +config_query_list GRUB2_PLATFORM "Select platform:" \ + pc/i386 efi/i386 efi/x86_64 |