diff --git a/grub-core/include/grub/dl.h b/grub-core/include/grub/dl.h
index 8c5f4bb2d..218de996c 100644
--- a/grub-core/include/grub/dl.h
+++ b/grub-core/include/grub/dl.h
@@ -111,7 +111,7 @@ grub_err_t EXPORT_FUNC(grub_dl_register_symbol) (const char *name, void *addr,
 grub_err_t grub_arch_dl_check_header (void *ehdr);
 grub_err_t grub_arch_dl_relocate_symbols (grub_dl_t mod, void *ehdr);
 
-#if defined (_mips) && ! GRUB_MACHINE_EMU
+#if defined (_mips) && ! defined (GRUB_MACHINE_EMU)
 #define GRUB_LINKER_HAVE_INIT 1
 void grub_arch_dl_init_linker (void);
 #endif