diff options
Diffstat (limited to 'sys-boot/grub/files/grub-2.00-hardcoded-awk.patch')
| -rw-r--r-- | sys-boot/grub/files/grub-2.00-hardcoded-awk.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sys-boot/grub/files/grub-2.00-hardcoded-awk.patch b/sys-boot/grub/files/grub-2.00-hardcoded-awk.patch new file mode 100644 index 00000000..8019a3c7 --- /dev/null +++ b/sys-boot/grub/files/grub-2.00-hardcoded-awk.patch @@ -0,0 +1,15 @@ +https://bugs.gentoo.org/show_bug.cgi?id=424137 +https://savannah.gnu.org/bugs/?37558 +https://code.google.com/p/original-mawk/issues/detail?id=17 +--- grub-core/Makefile.am 2012-07-07 12:29:01 +0000 ++++ grub-core/Makefile.am 2012-10-12 13:04:02 +0000 +@@ -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 + + |