1 diff -u -r ../gawk-4.2.1/io.c ./io.c
2 --- ../gawk-4.2.1/io.c 2018-02-19 17:55:00.000000000 +0000
3 +++ ./io.c 2018-02-27 11:12:19.067766916 +0000
6 set_sigpipe_to_default();
8 - execl("/bin/sh", "sh", "-c", command, NULL);
9 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", command, NULL);
10 _exit(errno == ENOENT ? 127 : 126);
15 signal(SIGPIPE, SIG_DFL);
17 - execl("/bin/sh", "sh", "-c", command, NULL);
18 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", command, NULL);
19 _exit(errno == ENOENT ? 127 : 126);
24 /* stderr does NOT get dup'ed onto child's stdout */
26 - pid = spawnl(P_NOWAIT, "/bin/sh", "sh", "-c", str, NULL);
27 + pid = spawnl(P_NOWAIT, "@TERMUX_PREFIX@/bin/sh", "sh", "-c", str, NULL);
28 #else /* __MINGW32__ */
29 pid = spawnl(P_NOWAIT, getenv("ComSpec"), "cmd.exe", "/c",
30 qcmd = quote_cmd(str), NULL);
32 fatal(_("close of pipe failed (%s)"), strerror(errno));
33 /* stderr does NOT get dup'ed onto child's stdout */
34 set_sigpipe_to_default();
35 - execl("/bin/sh", "sh", "-c", str, NULL);
36 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", str, NULL);
37 _exit(errno == ENOENT ? 127 : 126);
39 #endif /* NOT __EMX__, NOT __MINGW32__ */
41 os_close_on_exec(save_stdout, cmd, "pipe", "from"); /* saved stdout of the parent process */
44 - pid = spawnl(P_NOWAIT, "/bin/sh", "sh", "-c", cmd, NULL);
45 + pid = spawnl(P_NOWAIT, "@TERMUX_PREFIX@/bin/sh", "sh", "-c", cmd, NULL);
46 #else /* __MINGW32__ */
47 pid = spawnl(P_NOWAIT, getenv("ComSpec"), "cmd.exe", "/c",
48 qcmd = quote_cmd(cmd), NULL);
50 if (close(p[0]) == -1 || close(p[1]) == -1)
51 fatal(_("close of pipe failed (%s)"), strerror(errno));
52 set_sigpipe_to_default();
53 - execl("/bin/sh", "sh", "-c", cmd, NULL);
54 + execl("@TERMUX_PREFIX@/bin/sh", "sh", "-c", cmd, NULL);
55 _exit(errno == ENOENT ? 127 : 126);
57 #endif /* NOT __EMX__, NOT __MINGW32__ */