diff options
| author | Remi Collet <remi@remirepo.net> | 2020-07-06 16:43:57 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-07-06 16:43:57 +0200 |
| commit | 71e3fbedf1d4679728a9a82d7cdf119c7cb5d908 (patch) | |
| tree | 25684fb145e1427df18a24488503a8d680ac35ef /php-7.3.20-fixheader.patch | |
| parent | 596c03f628bc0a0f5c2e2f514da35f8ade68acc3 (diff) | |
display build system and provider in phpinfo (from 8.0)
Diffstat (limited to 'php-7.3.20-fixheader.patch')
| -rw-r--r-- | php-7.3.20-fixheader.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/php-7.3.20-fixheader.patch b/php-7.3.20-fixheader.patch new file mode 100644 index 0000000..6bbdfbd --- /dev/null +++ b/php-7.3.20-fixheader.patch @@ -0,0 +1,13 @@ +diff -up ./configure.ac.fixheader ./configure.ac +--- ./configure.ac.fixheader 2020-07-06 16:04:56.069183751 +0200 ++++ ./configure.ac 2020-07-06 16:05:52.044046238 +0200 +@@ -1350,7 +1350,8 @@ 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` ++UNAME=`uname -a | xargs` ++PHP_UNAME=${PHP_UNAME:-$UNAME} + AC_DEFINE_UNQUOTED(PHP_UNAME,"$PHP_UNAME",[uname -a output]) + PHP_OS=`uname | xargs` + AC_DEFINE_UNQUOTED(PHP_OS,"$PHP_OS",[uname output]) |