On Oct 27, 2014, at 11:46 AM, Mike Gilbert <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
