From c3b4827ef261f7028e0ff02a55d5ad300b3ca0f6 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 8 Jul 2020 07:49:35 +0200 Subject: Update to 7.2.32 (no change) display build system and provider in phpinfo (from 8.0) --- php-7.2.32-fixheader.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 php-7.2.32-fixheader.patch (limited to 'php-7.2.32-fixheader.patch') 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]) -- cgit