dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-29 16:54:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

check for dirname on --clean

Browse source
This commit is contained in:
Paul Gauthier 2023-06-27 07:52:48 -07:00
parent 7736289309
commit 29d60b9ddb
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
benchmark/benchmark.py
View file

@ -63,6 +63,10 @@ def main(
if len(dirname.parts) == 1: if len(dirname.parts) == 1:
dirname = BENCHMARK_DNAME / dirname dirname = BENCHMARK_DNAME / dirname
if clean and not dirname.exists():
print(f"--clean requires that {dirname} exists")
return
now = datetime.datetime.now() now = datetime.datetime.now()
now = now.strftime("%Y-%m-%d-%H-%M--") now = now.strftime("%Y-%m-%d-%H-%M--")