From 8a417981f872f6278e9ba8664d070aca91a18168 Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Mon, 29 Sep 2014 17:55:51 +0000 Subject: [PATCH] gawk: added forgotten pipe.patch --- gawk/pipe.patch | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 gawk/pipe.patch diff --git a/gawk/pipe.patch b/gawk/pipe.patch new file mode 100644 index 0000000..27ea2d3 --- /dev/null +++ b/gawk/pipe.patch @@ -0,0 +1,20 @@ +diff --git a/io.c b/io.c +index a6e786f..2bb8f28 100644 +--- a/io.c ++++ b/io.c +@@ -2078,6 +2078,7 @@ use_pipes: + || close(ctop[0]) == -1 || close(ctop[1]) == -1) + fatal(_("close of pipe failed (%s)"), strerror(errno)); + /* stderr does NOT get dup'ed onto child's stdout */ ++ signal(SIGPIPE, SIG_DFL); + execl("/bin/sh", "sh", "-c", str, NULL); + _exit(errno == ENOENT ? 127 : 126); + } +@@ -2271,6 +2272,7 @@ gawk_popen(const char *cmd, struct redirect *rp) + fatal(_("moving pipe to stdout in child failed (dup: %s)"), strerror(errno)); + if (close(p[0]) == -1 || close(p[1]) == -1) + fatal(_("close of pipe failed (%s)"), strerror(errno)); ++ signal(SIGPIPE, SIG_DFL); + execl("/bin/sh", "sh", "-c", cmd, NULL); + _exit(errno == ENOENT ? 127 : 126); + } -- 2.26.2