I've been scouring through the bash script trying to figure out how it
"guesses" the platform. You would think a simple `ll /boot/grub` would tell
it?
Anyway I tried using: `./configure --build=x86_64-efi` but I got:
checking build system type... Invalid configuration `x86_64-efi':
system `efi' not recognized
configure: error: /bin/bash build-aux/config.sub x86_64-efi failed
So I'll keep sifting through the gigantic bash script... I think I should
use `--with-platform=efi`. Also I guess I should use `computer` somewhere
for the `x86_64`.
Thanks in advance for any guidance,
- Rick
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
