From 4cd0b55fd0303ebd2e7ee7820bb0ab57b68218b9 Mon Sep 17 00:00:00 2001 From: Vladimir Serbinenko Date: Mon, 23 Dec 2013 05:27:04 +0100 Subject: [PATCH] Fix ia64-efi recognition in grub-file. --- ChangeLog | 4 ++++ grub-core/commands/file.c | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 6acd5e4cb..7ff951ac2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-12-23 Vladimir Serbinenko + + Fix ia64-efi recognition in grub-file. + 2013-12-23 Vladimir Serbinenko Recognize raspberry pi kernel in grub-file. diff --git a/grub-core/commands/file.c b/grub-core/commands/file.c index 9f2c38dfa..be8ed528d 100644 --- a/grub-core/commands/file.c +++ b/grub-core/commands/file.c @@ -588,7 +588,7 @@ grub_cmd_file (grub_extcmd_context_t ctxt, int argc, char **args) && coff_head.machine != grub_cpu_to_le16_compile_time (GRUB_PE32_MACHINE_ARMTHUMB_MIXED)) break; - if (type == IS_64_EFI || type == IS_64_EFI) + if (type == IS_IA_EFI || type == IS_64_EFI) { struct grub_pe64_optional_header o64; if (grub_file_read (file, &o64, sizeof (o64)) != sizeof (o64))