diff options
| author | Remi Collet <remi@remirepo.net> | 2022-02-08 14:09:14 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2022-02-08 14:09:14 +0100 |
| commit | 78517151ed28c1335fcbdd0b987d2e5dadb990e1 (patch) | |
| tree | 69fb251dc979a0cffa8b3c15bf68211bdb710742 /php-GH8059.patch | |
| parent | 43fe4ab4ede46fb4abc8d12c15d5203d6e65e320 (diff) | |
fix GH-8059 arginfo not regenerated for extension
Diffstat (limited to 'php-GH8059.patch')
| -rw-r--r-- | php-GH8059.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/php-GH8059.patch b/php-GH8059.patch new file mode 100644 index 0000000..817d044 --- /dev/null +++ b/php-GH8059.patch @@ -0,0 +1,23 @@ +From 3b463749f544a7b538264ee2a9647e4bca92f9b0 Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +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; + |