summaryrefslogtreecommitdiffstats
path: root/php-7.2.32-fixheader.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2020-07-08 07:49:35 +0200
committerRemi Collet <remi@remirepo.net>2020-07-08 07:49:35 +0200
commitc3b4827ef261f7028e0ff02a55d5ad300b3ca0f6 (patch)
tree3554d9b91605b67762b02ef9638cc59a435d107f /php-7.2.32-fixheader.patch
parenta67c40947eaa476040af3827f74a7f954fe883fe (diff)
Update to 7.2.32 (no change)
display build system and provider in phpinfo (from 8.0)
Diffstat (limited to 'php-7.2.32-fixheader.patch')
-rw-r--r--php-7.2.32-fixheader.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/php-7.2.32-fixheader.patch b/php-7.2.32-fixheader.patch
new file mode 100644
index 0000000..52a4121
--- /dev/null
+++ b/php-7.2.32-fixheader.patch
@@ -0,0 +1,12 @@
+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])