fix x86_64-efi build

diff --git a/Makefile.util.def b/Makefile.util.def
index 89328d6192a0679af05a623fb39f5d39242e68ab..fd3428e766f9c7ac08838c0da9784a1f8e267027 100644 (file)
--- a/Makefile.util.def
+++ b/Makefile.util.def
@@ -329,7 +329,7 @@ script = {
 script = {
   mansection = 1;
   name = grub-mkrescue;
-  i386_noieee1275 = util/grub-mkrescue.in;
+  x86_noieee1275 = util/grub-mkrescue.in;
   powerpc_ieee1275 = util/powerpc/ieee1275/grub-mkrescue.in;
   enable = i386_pc;
   enable = x86_efi;