chiark - git - mdw - termux-packages/blob - 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__ */