diff options
| author | Remi Collet <remi@remirepo.net> | 2020-07-06 16:44:04 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-07-06 16:44:04 +0200 |
| commit | 15cb2d835d050d0590df86cb75365fd4b63a752b (patch) | |
| tree | 81454f757d28412fa614384827f2cfe847e47a37 /php-7.2.4-fixheader.patch | |
| parent | 70b52a51f437abb8b65165a1c1ee3f0eb1347d36 (diff) | |
display build system and provider in phpinfo (from 8.0)
Diffstat (limited to 'php-7.2.4-fixheader.patch')
| -rw-r--r-- | php-7.2.4-fixheader.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/php-7.2.4-fixheader.patch b/php-7.2.4-fixheader.patch deleted file mode 100644 index 52a4121..0000000 --- a/php-7.2.4-fixheader.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up php-7.2.4RC1/configure.ac.fixheader php-7.2.4RC1/configure.ac ---- php-7.2.4RC1/configure.ac.fixheader 2018-03-13 12:42:47.594623100 +0100 -+++ php-7.2.4RC1/configure.ac 2018-03-13 12:43:35.591871825 +0100 -@@ -1275,7 +1275,7 @@ PHP_BUILD_DATE=`date -u +%Y-%m-%d` - fi - AC_DEFINE_UNQUOTED(PHP_BUILD_DATE,"$PHP_BUILD_DATE",[PHP build date]) - --PHP_UNAME=`uname -a | xargs` -+PHP_UNAME=`uname | xargs` - AC_DEFINE_UNQUOTED(PHP_UNAME,"$PHP_UNAME",[uname -a output]) - PHP_OS=`uname | xargs` - AC_DEFINE_UNQUOTED(PHP_OS,"$PHP_OS",[uname output]) |