From 6b210cf5ce1858a01994e3b7170d94d648e6ff08 Mon Sep 17 00:00:00 2001
From: Giovanni Giacobbi <giovanni@giacobbi.net>
Date: Thu, 29 Jan 2026 12:18:24 +0100
Subject: [PATCH] gen_stub: Update the arginfo file timestamp when generation
 is skipped

In case the script is started by the Makefile, the timestamp of the product
needs to be updated even if no changes are needed, otherwise it will be
started over and over without any effect.
---
 build/gen_stub.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 28b168c72642..c6a5309a96b6 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -78,7 +78,8 @@ function processStubFile(string $stubFile, Context $context, bool $includeOnly =
             $stubHash = computeStubHash($stubCode);
             $oldStubHash = extractStubHash($arginfoFile);
             if ($stubHash === $oldStubHash && !$context->forceParse) {
-                /* Stub file did not change, do not regenerate. */
+                /* Stub file did not change, do not regenerate, but update the timestamp */
+                touch($arginfoFile);
                 return null;
             }
         }