diff options
| author | Juergen Daubert <jue@jue.li> | 2016-01-08 16:00:26 +0100 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2016-01-08 16:00:26 +0100 |
| commit | 327259f0ef25aaf5cb2fcb54cad761c1a3065fe4 (patch) | |
| tree | 18b04aa326e9c5acec1185ffef060b73c37da3f8 /php/Pkgfile | |
| parent | 8e355d39905a791f7ed8eecb81bd1b731684b711 (diff) | |
| download | opt-327259f0ef25aaf5cb2fcb54cad761c1a3065fe4.tar.gz opt-327259f0ef25aaf5cb2fcb54cad761c1a3065fe4.tar.xz | |
[notify] php: update to 5.6.17
Security update, see
- http://news.php.net/php.announce/171
- http://www.php.net/ChangeLog-5.php#5.5.31
Diffstat (limited to 'php/Pkgfile')
| -rw-r--r-- | php/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php/Pkgfile b/php/Pkgfile index ce0a25ab5..f21e022e2 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: readline libpcre libxml2 curl db gdbm xz name=php -version=5.6.16 +version=5.6.17 release=1 source=(http://php.net/distributions/php-$version.tar.xz) @@ -12,7 +12,7 @@ build () { cd php-$version local PHP_CONFIG=" - --prefix=/usr \ + --prefix=/usr --mandir=/usr/share/man \ --with-config-file-path=/etc/php \ --with-config-file-scan-dir=/etc/php/conf.d \ --with-zlib \ |