From 6c815da21ac06582df397180743d46deede8d139 Mon Sep 17 00:00:00 2001 From: Giovanni Giacobbi Date: Sat, 10 Jan 2026 08:42:39 +0100 Subject: [PATCH] Fix Makefile arginfo files generation rule If the mtime of the stub file is more recent than arginfo's one, but the content is unchanged, the build script will launch gen_stub.php without any effect, and attempt to do so over and over. By touching the arginfo file, we ensure that no more attempts are made unless the stub file is modified again. --- build/Makefile.global | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build/Makefile.global b/build/Makefile.global index 073a61d2c2b88..56b9ce6976f92 100644 --- a/build/Makefile.global +++ b/build/Makefile.global @@ -157,9 +157,11 @@ prof-use: if test ! -z "$(PHP)"; then \ echo Parse $< to generate $@;\ $(PHP) $(top_srcdir)/build/gen_stub.php $<; \ + touch $@; \ elif test ! -z "$(PHP_EXECUTABLE)" && test -x "$(PHP_EXECUTABLE)"; then \ echo Parse $< to generate $@;\ $(PHP_EXECUTABLE) $(top_srcdir)/build/gen_stub.php $<; \ + touch $@; \ fi; \ fi;