diff options
| author | Juergen Daubert <jue@jue.li> | 2017-10-22 17:47:05 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2017-10-22 17:47:05 +0200 |
| commit | 17bec7bf44a69c0eec8ef7bbae2f0c9d76ff6b5f (patch) | |
| tree | 452e2d345bdcbe0e264ff684e41c9a45aa44341e /gawk/Pkgfile | |
| parent | e62008a86e289d945a91428db436c5a90d836004 (diff) | |
| download | core-17bec7bf44a69c0eec8ef7bbae2f0c9d76ff6b5f.tar.gz core-17bec7bf44a69c0eec8ef7bbae2f0c9d76ff6b5f.tar.xz | |
gawk: update to 4.2.0
Diffstat (limited to 'gawk/Pkgfile')
| -rw-r--r-- | gawk/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gawk/Pkgfile b/gawk/Pkgfile index dd0119a1..ed9c769f 100644 --- a/gawk/Pkgfile +++ b/gawk/Pkgfile @@ -4,7 +4,7 @@ # Depends on: readline libmpfr name=gawk -version=4.1.4 +version=4.2.0 release=1 source=(http://ftpmirror.gnu.org/gnu/$name/$name-$version.tar.xz) @@ -17,6 +17,6 @@ build() { make make DESTDIR=$PKG install - rm -r $PKG/usr/share/info + rm -r $PKG/usr/{etc,share/info} rm $PKG/usr/bin/gawk-$version } |