diff options
Diffstat (limited to 'php-7.4.0-phpize.patch')
| -rw-r--r-- | php-7.4.0-phpize.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/php-7.4.0-phpize.patch b/php-7.4.0-phpize.patch index b6958b3..fb99f3e 100644 --- a/php-7.4.0-phpize.patch +++ b/php-7.4.0-phpize.patch @@ -1,8 +1,8 @@ diff -up ./scripts/phpize.in.headers ./scripts/phpize.in ---- ./scripts/phpize.in.headers 2019-05-20 11:11:06.000000000 +0200 -+++ ./scripts/phpize.in 2019-05-20 16:22:43.182043588 +0200 -@@ -169,6 +169,15 @@ phpize_autotools() - mv config.h.in.tmp config.h.in +--- ./scripts/phpize.in.headers 2019-07-23 10:05:11.000000000 +0200 ++++ ./scripts/phpize.in 2019-07-23 10:18:13.648098089 +0200 +@@ -165,6 +165,15 @@ phpize_autotools() + $PHP_AUTOHEADER || exit 1 } +phpize_check_headers() @@ -17,7 +17,7 @@ diff -up ./scripts/phpize.in.headers ./scripts/phpize.in # Main script case "$1" in -@@ -187,12 +196,15 @@ case "$1" in +@@ -183,12 +192,15 @@ case "$1" in # Version --version|-v) |