1
0
mirror of https://github.com/termux/termux-packages synced 2024-06-14 15:26:40 +00:00
termux-packages/packages/texinfo/texindex-texindex.in.patch
2018-07-15 17:05:11 +02:00

15 lines
478 B
Diff

Use gawk regardless of what was picked up during build.
diff -u -r ../texinfo-6.5/texindex/texindex.in ./texindex/texindex.in
--- ../texinfo-6.5/texindex/texindex.in 2016-02-06 12:21:52.000000000 +0000
+++ ./texindex/texindex.in 2018-07-12 07:29:20.427030482 +0000
@@ -44,7 +44,7 @@
#
# else use configured value for awk.
if test -z "$awk_binary"; then
- awk_binary="@AWK@"
+ awk_binary=gawk
fi
#
# that should never be empty, but just in case, else fall back to plain