chore: merge round 2 fixes (tooling)

This commit is contained in:
Abdessamad Derraz committed 2026-10-21 10:31:04 +02:00
commit 055627f39c
22 files changed
+704 -141

No files matched your search

+1 -1
View File
@@ -858,7 +858,7 @@ def main() -> None:
)
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument("--all", action="store_true", help="every platform")
group.add_argument("--platform", type=platform_arg, help="a single platform")
group.add_argument("--platform", "-p", type=platform_arg, help="a single platform")
parser.add_argument(
"--output-dir", default="exports",
help="directory the updated platform files go to (default: %(default)s)",