gawk: Replace /bin/sh -> $PREFIX/bin/sh
[termux-packages] / packages / gawk / io.c.patch
1 diff -u -r ../gawk-4.1.4/io.c ./io.c
2 --- ../gawk-4.1.4/io.c 2016-08-24 15:31:55.000000000 -0400
3 +++ ./io.c 2016-11-23 18:27:30.481573610 -0500
4 @@ -1976,7 +1976,7 @@
5
6 signal(SIGPIPE, SIG_DFL);
7
8 - execl("/bin/sh", "sh", "-c", str, NULL);
9 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", str, NULL);
10 _exit(errno == ENOENT ? 127 : 126);
11
12 case -1:
13 @@ -2152,7 +2152,7 @@
14 fatal(_("close of pipe failed (%s)"), strerror(errno));
15 /* stderr does NOT get dup'ed onto child's stdout */
16 signal(SIGPIPE, SIG_DFL);
17 - execl("/bin/sh", "sh", "-c", str, NULL);
18 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", str, NULL);
19 _exit(errno == ENOENT ? 127 : 126);
20 }
21 #endif /* NOT __EMX__, NOT __MINGW32__ */
22 @@ -2346,7 +2346,7 @@
23 if (close(p[0]) == -1 || close(p[1]) == -1)
24 fatal(_("close of pipe failed (%s)"), strerror(errno));
25 signal(SIGPIPE, SIG_DFL);
26 - execl("/bin/sh", "sh", "-c", cmd, NULL);
27 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", cmd, NULL);
28 _exit(errno == ENOENT ? 127 : 126);
29 }
30 #endif /* NOT __EMX__, NOT __MINGW32__ */