diff options
| author | Aetias <aetias@outlook.com> | 2025-05-19 20:34:34 +0200 |
|---|---|---|
| committer | Aetias <aetias@outlook.com> | 2025-05-19 20:34:34 +0200 |
| commit | 73bf432498eb46e5b64fd8b95845c4160f5e5ebc (patch) | |
| tree | 915485cc92870af3d8c31277c873be295f97f914 | |
| parent | 16268dfd061e19e95b8bed95b97f989159a46df6 (diff) | |
Wait for delink to finish before generating objdiff report
| -rwxr-xr-x | tools/configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/configure.py b/tools/configure.py index 32260a24..cbbb566c 100755 --- a/tools/configure.py +++ b/tools/configure.py @@ -655,9 +655,10 @@ def add_objdiff_builds(n: ninja_syntax.Writer, project: Project): ) n.newline() + delink_files = [file['delink_file'] for module in project.modules() for file in module['files']] n.build( inputs=["objdiff.json"], - implicit=[OBJDIFF] + project.source_object_files(), + implicit=[OBJDIFF] + delink_files + project.source_object_files(), rule="objdiff_report", outputs=str(project.objdiff_report()), ) |