diff -dur grub-2.00.orig/grub-core/Makefile.am grub-2.00/grub-core/Makefile.am
--- grub-2.00.orig/grub-core/Makefile.am	2012-06-26 01:56:55.000000000 +0200
+++ grub-2.00/grub-core/Makefile.am	2012-10-27 15:19:54.321231750 +0200
@@ -349,7 +349,7 @@
 
 # generate global module dependencies list
 moddep.lst: syminfo.lst genmoddep.awk video.lst
-	cat $< | sort | awk -f $(srcdir)/genmoddep.awk > $@ || (rm -f $@; exit 1)
+	cat $< | sort | $(AWK) -f $(srcdir)/genmoddep.awk > $@ || (rm -f $@; exit 1)
 platform_DATA += moddep.lst
 CLEANFILES += config.log syminfo.lst moddep.lst