This commit is contained in:
Paul Gauthier 2023-06-26 10:51:06 -07:00
parent 2c7960ae26
commit 651b1293c3

7
scripts/benchmark.py Normal file → Executable file
View file

@ -1,3 +1,5 @@
#!/usr/bin/env python
import argparse
import datetime
import json
@ -107,7 +109,10 @@ def main():
print("ERROR: will not delete dir that does not look like original tests", dirname)
return
dest = dirname.parent / "OLD" / (now + dirname.name)
dest = dirname.parent / "OLD" / dirname.name
if dest.exists():
dest = dirname.parent / "OLD" / (now + dirname.name)
dirname.rename(dest)
if not dirname.exists():