From e8f1f4c302155a2387806aee843d35d65448e851 Mon Sep 17 00:00:00 2001 From: LagoLunatic Date: Sat, 31 May 2025 18:42:59 -0400 Subject: [PATCH] Rebuild report.json when configure.py is modified Co-authored-by: Luke Street --- tools/project.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/project.py b/tools/project.py index 5ea39bb..57045d3 100644 --- a/tools/project.py +++ b/tools/project.py @@ -1213,7 +1213,7 @@ def generate_build_ninja( n.build( outputs=report_path, rule="report", - implicit=[objdiff, "all_source"], + implicit=[objdiff, "objdiff.json", "all_source"], order_only="post-build", ) @@ -1367,7 +1367,7 @@ def generate_build_ninja( description=f"RUN {configure_script}", ) n.build( - outputs="build.ninja", + outputs=["build.ninja", "objdiff.json"], rule="configure", implicit=[ build_config_path,