]> git.pld-linux.org Git - packages/php.git/commitdiff
- up to 7.3.14 auto/th/php73-7.3.14-1
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Fri, 24 Jan 2020 09:46:16 +0000 (10:46 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Fri, 24 Jan 2020 09:46:16 +0000 (10:46 +0100)
php.spec

index 215aa142ed87a33afa2bbf7704e338ce1f8cbdde..1b56102bbc66b8f12f995b26e508d8103b8a7ddc 100644 (file)
--- a/php.spec
+++ b/php.spec
@@ -156,7 +156,7 @@ Summary(pt_BR.UTF-8):       A linguagem de script PHP
 Summary(ru.UTF-8):     PHP Версии 7 - язык препроцессирования HTML-файлов, выполняемый на сервере
 Summary(uk.UTF-8):     PHP Версії 7 - мова препроцесування HTML-файлів, виконувана на сервері
 Name:          %{orgname}%{php_suffix}
-Version:       7.3.12
+Version:       7.3.14
 Release:       1
 Epoch:         4
 # All files licensed under PHP version 3.01, except
@@ -166,7 +166,7 @@ License:    PHP 3.01 and Zend and BSD
 Group:         Libraries
 #Source0:      https://downloads.php.net/~cmb/php-%{version}%{subver}.tar.xz
 Source0:       https://php.net/distributions/%{orgname}-%{version}.tar.xz
-# Source0-md5: e52a0dc6e7d94024989d0a3746070487
+# Source0-md5: 336ef1574aa173d7cc12ea04ff40f50e
 Source1:       opcache.ini
 Source2:       %{orgname}-mod_php.conf
 Source3:       %{orgname}-cgi-fcgi.ini
@@ -2028,6 +2028,10 @@ cp -p php.ini-production php.ini
 %patch71 -p1
 %patch72 -p1 -b .phar-shared
 
+sed -E -i -e '1s,#!\s*/usr/bin/env\s+(.*),#!%{__bindir}\1,' \
+      ext/ext_skel.php \
+      run-tests.php
+
 %{__sed} -i -e '/PHP_ADD_LIBRARY_WITH_PATH/s#xmlrpc,#xmlrpc-epi,#' ext/xmlrpc/config.m4
 
 # cleanup backups after patching
This page took 0.040094 seconds and 4 git commands to generate.