- PLD merge - grub 2.02 beta 2, no changes

[packages/grub2.git] / grub2-awk.patch

diff --git a/grub2-awk.patch b/grub2-awk.patch
deleted file mode 100644 (file)
index 162fa5c..0000000
--- a/grub2-awk.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-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
-