diff options
Diffstat (limited to 'build/Makefile.global')
-rw-r--r-- | build/Makefile.global | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/build/Makefile.global b/build/Makefile.global index 6566d052de..2ff838cb33 100644 --- a/build/Makefile.global +++ b/build/Makefile.global @@ -111,7 +111,7 @@ test: all clean: find . -name \*.gcno -o -name \*.gcda | xargs rm -f - find . -name \*.lo -o -name \*.o | xargs rm -f + find . -name \*.lo -o -name \*.o -o -name \*.dep | xargs rm -f find . -name \*.la -o -name \*.a | xargs rm -f find . -name \*.so | xargs rm -f find . -name .libs -a -type d|xargs rm -rf @@ -142,23 +142,13 @@ prof-clean: prof-use: CCACHE_DISABLE=1 $(MAKE) PROF_FLAGS=-fprofile-use all -# only php above 7.1.0 supports nullable return type %_arginfo.h: %.stub.php @if test -e "$(top_srcdir)/build/gen_stub.php"; then \ - if test ! -z "$(PHP_EXECUTABLE)" && test -x "$(PHP_EXECUTABLE)"; then \ + if test ! -z "$(PHP)"; then \ echo Parse $< to generate $@;\ - $(PHP_EXECUTABLE) $(top_srcdir)/build/gen_stub.php $<; \ - elif type php >/dev/null 2>/dev/null; then \ - if test `php -v | head -n1 | cut -d" " -f 2 | sed "s/$$/\n7.0.99/" | sort -rV | head -n1` != "7.0.99"; then \ - echo Parse $< to generate $@;\ - php $(top_srcdir)/build/gen_stub.php $<; \ - fi; \ + $(PHP) $(top_srcdir)/build/gen_stub.php $<; \ fi; \ fi; -# As we don't track includes, this is just a heuristic -%.c: %_arginfo.h - @touch $@ - .PHONY: all clean install distclean test prof-gen prof-clean prof-use .NOEXPORT: |