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;
|
