no-bug: A few quality-of-life tweaks (build tooling) (gh-13565)

This commit is contained in:
Daniel Richard G.
2026-05-06 15:38:16 -04:00
committed by GitHub
parent dcf272f620
commit b93c2054c4
3 changed files with 24 additions and 29 deletions

View File

@@ -60,4 +60,7 @@ def main():
if __name__ == "__main__":
import sys
if len(sys.argv) == 3:
_, DUMPS_FOLDER, ENGINE_DUMPS_FOLDER = sys.argv
main()