diff options
Diffstat (limited to 'php-7.2.2-fixheader.patch')
| -rw-r--r-- | php-7.2.2-fixheader.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/php-7.2.2-fixheader.patch b/php-7.2.2-fixheader.patch deleted file mode 100644 index dc2a080..0000000 --- a/php-7.2.2-fixheader.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up php-7.2.2RC1/configure.ac.fixheader php-7.2.2RC1/configure.ac ---- php-7.2.2RC1/configure.ac.fixheader 2018-01-16 09:14:15.231218443 +0100 -+++ php-7.2.2RC1/configure.ac 2018-01-16 09:17:21.740382942 +0100 -@@ -1272,7 +1272,7 @@ EXTRA_LDFLAGS_PROGRAM="$EXTRA_LDFLAGS_PR - PHP_BUILD_DATE=`date --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}" +%Y-%m-%d` - 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]) |