Fix ia64-efi recognition in grub-file.

diff --git a/ChangeLog b/ChangeLog
index 6acd5e4cb9106b41edf653b092284e995ad8eaa8..7ff951ac2a14eb59d9b87907191d0fbd0e53d6a8 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       Fix ia64-efi recognition in grub-file.
+
 2013-12-23  Vladimir Serbinenko  <phcoder@gmail.com>
 
        Recognize raspberry pi kernel in grub-file.

diff --git a/grub-core/commands/file.c b/grub-core/commands/file.c
index 9f2c38dfa959de73eb6dec6ef4458a3e88cb9e9c..be8ed528dec559e3b4f78bceca0ce06666d6a17f 100644 (file)
--- 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))