diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-25 11:06:34 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-25 11:06:34 -0700 |
| commit | f258c28fb4fc98e472be2e57a2504dc1a955f2eb (patch) | |
| tree | 68733de8c475792a7df4d86af6c28dfa3e255f1b /build-support/spill-matrix.py | |
| parent | 69e4a21f71aca4954469063387063434af35e679 (diff) | |
| download | Simple-f258c28fb4fc98e472be2e57a2504dc1a955f2eb.tar.gz Simple-f258c28fb4fc98e472be2e57a2504dc1a955f2eb.zip | |
Cleanup docs
Diffstat (limited to 'build-support/spill-matrix.py')
| -rw-r--r-- | build-support/spill-matrix.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-support/spill-matrix.py b/build-support/spill-matrix.py index 422be3a9..bd11c447 100644 --- a/build-support/spill-matrix.py +++ b/build-support/spill-matrix.py @@ -144,7 +144,7 @@ def main(): parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("--log-dir", type=Path, default=ROOT / "build/spill-stats") parser.add_argument("--reuse", action="store_true", help="read completed logs without rerunning tests") - parser.add_argument("--update-docs", action="store_true", help="refresh the marked tables in docs and READMEs") + parser.add_argument("--update-docs", action="store_true", help="refresh the allocator report in skills/current-spill-matrix.md") args = parser.parse_args() args.log_dir.mkdir(parents=True, exist_ok=True) if not args.reuse: @@ -166,7 +166,7 @@ def main(): (args.log_dir / "matrix.md").write_text(matrix + "\n", encoding="utf-8", newline="\n") if args.update_docs: # Preserve the dated pre-split measurements in the original READMEs. - paths = [(ROOT / "docs/appendices/current-spill-matrix.md", matrix)] + paths = [(ROOT / "skills/current-spill-matrix.md", matrix)] # Validate all destinations before changing any document. for path, _ in paths: text = path.read_text(encoding="utf-8") |
