add some output when generating arginfo

diff --git a/build/Makefile.global b/build/Makefile.global
index 7774cefb7f20136f1d4afd7ddc79f7761e069c7f..7b5d2a4919146672d0805485c3790742ade903e3 100644 (file)
--- a/build/Makefile.global
+++ b/build/Makefile.global
@@ -146,9 +146,11 @@ prof-use:
 %_arginfo.h: %.stub.php
        @if test -e "$(top_srcdir)/build/gen_stub.php"; then \
                if test ! -z "$(PHP_EXECUTABLE)" && test -x "$(PHP_EXECUTABLE)"; 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; \
                fi; \