Fix ia64-efi recognition in grub-file.

This commit is contained in:
Vladimir Serbinenko 2013-12-23 05:27:04 +01:00
parent 95b56e3a97
commit 4cd0b55fd0
2 changed files with 5 additions and 1 deletions

View file

@ -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.

View file

@ -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))