From: Remi Collet <remi@remirepo.net>
Date: Thu, 2 Apr 2020 14:48:43 +0000 (+0200)
Subject: add some output when generating arginfo
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=75b01c797eb71398fecb6e75e36b1f33767d3675;p=php

add some output when generating arginfo
---

diff --git a/build/Makefile.global b/build/Makefile.global
index 7774cefb7f..7b5d2a4919 100644
--- 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; \