grub2-awk.patch

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