On Oct 27, 2014, at 11:46 AM, Mike Gilbert <flop...@gentoo.org> wrote:
> ./configure --build=x86_64-pc-linux-gnu OK so do ./configure --build=x86_64-pc-linux-gnu --platform=efi ? Passing only --platform=efi did seem to work: it compiled and grub-install works. Chris Murphy _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
