diff --git a/build/Makefile.global b/build/Makefile.global index ca7f2115f3e..3c44a52693a 100644 --- a/build/Makefile.global +++ b/build/Makefile.global @@ -149,6 +149,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;