commit 215c50f0d2266ddef71dbaa7bce6ec02548625e2 Author: Juergen Daubert <jue@jue.li> Date: Fri May 1 11:06:40 2015 +0200 gawk: update to 4.1.2 diff --git a/gawk/.footprint b/gawk/.footprint index 6c9198d..3d5a4f1 100644 --- a/gawk/.footprint +++ b/gawk/.footprint @@ -54,11 +54,13 @@ drwxr-xr-x root/root usr/share/awk/ -rw-r--r-- root/root usr/share/awk/noassign.awk -rw-r--r-- root/root usr/share/awk/ord.awk -rw-r--r-- root/root usr/share/awk/passwd.awk +-rw-r--r-- root/root usr/share/awk/processarray.awk -rw-r--r-- root/root usr/share/awk/quicksort.awk -rw-r--r-- root/root usr/share/awk/readable.awk -rw-r--r-- root/root usr/share/awk/readfile.awk -rw-r--r-- root/root usr/share/awk/rewind.awk -rw-r--r-- root/root usr/share/awk/round.awk +-rw-r--r-- root/root usr/share/awk/shellquote.awk -rw-r--r-- root/root usr/share/awk/strtonum.awk -rw-r--r-- root/root usr/share/awk/walkarray.awk -rw-r--r-- root/root usr/share/awk/zerofile.awk diff --git a/gawk/.md5sum b/gawk/.md5sum index d74ac51..55a87fe 100644 --- a/gawk/.md5sum +++ b/gawk/.md5sum @@ -1,2 +1 @@ -a2a26543ce410eb74bc4a508349ed09a gawk-4.1.1.tar.xz -a4a238239f48aa2f408fcaeef99da9be pipe.patch +29555d982b8b678b0091010eb7508e4a gawk-4.1.2.tar.xz diff --git a/gawk/Pkgfile b/gawk/Pkgfile index 913427d..288685e 100644 --- a/gawk/Pkgfile +++ b/gawk/Pkgfile @@ -4,13 +4,13 @@ # Depends on: readline libmpfr name=gawk -version=4.1.1 -release=2 -source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz pipe.patch) +version=4.1.2 +release=1 +source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) build() { cd $name-$version - patch -p1 -i $SRC/pipe.patch + ./configure --prefix=/usr \ --libexecdir=/usr/lib \ --mandir=/usr/man \ @@ -20,5 +20,4 @@ build() { rm -r $PKG/usr/share/info rm $PKG/usr/bin/gawk-$version - rm $PKG/usr/lib/gawk/*.la } diff --git a/gawk/pipe.patch b/gawk/pipe.patch deleted file mode 100644 index 27ea2d3..0000000 --- a/gawk/pipe.patch +++ /dev/null @@ -1,20 +0,0 @@ -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); - }