Fix GH-8059 use $PHP_EXECUTABLE when $PHP not set

php · Feb 8, 2022 · 3b46374 · 3b46374
1 parent c7558e2
commit 3b46374
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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;