From 0b08da1509cf4777588408185a5b2d64a58fc672 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 13 Mar 2018 15:06:20 +0100
Subject: v7.2.4RC1

---
 php-7.2.3-fixheader.patch | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 php-7.2.3-fixheader.patch

(limited to 'php-7.2.3-fixheader.patch')

diff --git a/php-7.2.3-fixheader.patch b/php-7.2.3-fixheader.patch
deleted file mode 100644
index 076eead..0000000
--- a/php-7.2.3-fixheader.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff -up php-7.2.3RC1/configure.ac.fixheader php-7.2.3RC1/configure.ac
---- php-7.2.3RC1/configure.ac.fixheader	2018-02-14 06:09:37.792429866 +0100
-+++ php-7.2.3RC1/configure.ac	2018-02-14 06:10:33.755701362 +0100
-@@ -1272,7 +1272,7 @@ EXTRA_LDFLAGS_PROGRAM="$EXTRA_LDFLAGS_PR
- PHP_BUILD_DATE=`date --utc --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])
-- 
cgit