summaryrefslogtreecommitdiffstats
path: root/php-GH8059.patch
blob: 817d044aa91437115b00b5d89b034f561746e584 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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;