Rename `--current-directory` to `--project` in Red Knot benchmark script (#15124)

This commit is contained in:
Micha Reiser 2024-12-23 13:50:35 +01:00 committed by GitHub
parent 8d327087ef
commit 97965ff114
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -71,7 +71,7 @@ class Knot(Tool):
assert len(project.include) < 2, "Knot doesn't support multiple source folders"
if project.include:
command.extend(["--current-directory", project.include[0]])
command.extend(["--project", project.include[0]])
command.extend(["--venv-path", str(venv.path)])