| 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__ */ |