From ce72ed8d469bc4860dfb8824f83815fbe96f5421 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 3 Mar 2022 08:14:01 +0100 Subject: update to 8.1.4RC1 --- php-GH8059.patch | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 php-GH8059.patch (limited to 'php-GH8059.patch') diff --git a/php-GH8059.patch b/php-GH8059.patch deleted file mode 100644 index 817d044..0000000 --- a/php-GH8059.patch +++ /dev/null @@ -1,23 +0,0 @@ -From 3b463749f544a7b538264ee2a9647e4bca92f9b0 Mon Sep 17 00:00:00 2001 -From: Remi Collet -Date: Tue, 8 Feb 2022 09:36:37 +0100 -Subject: [PATCH] Fix GH-8059 use $PHP_EXECUTABLE when $PHP not set - ---- - build/Makefile.global | 3 +++ - 1 file changed, 3 insertions(+) - -diff --git a/build/Makefile.global b/build/Makefile.global -index 6941bab6ad41..f93a874ce1b5 100644 ---- a/build/Makefile.global -+++ b/build/Makefile.global -@@ -148,6 +148,9 @@ prof-use: - if test ! -z "$(PHP)"; then \ - echo Parse $< to generate $@;\ - $(PHP) $(top_srcdir)/build/gen_stub.php $<; \ -+ elif test ! -z "$(PHP_EXECUTABLE)" && test -x "$(PHP_EXECUTABLE)"; then \ -+ echo Parse $< to generate $@;\ -+ $(PHP_EXECUTABLE) $(top_srcdir)/build/gen_stub.php $<; \ - fi; \ - fi; - -- cgit