Revert part of PR

This commit is contained in:
Anton Osika
2023-06-25 16:40:51 +02:00
parent 196361dfcd
commit 5ac167b1b0

View File

@@ -1,9 +1,8 @@
# list all folders in benchmark folder # list all folders in benchmark folder
# for each folder, run the benchmark # for each folder, run the benchmark
import contextlib
import os import os
import subprocess import subprocess
import sys
from itertools import islice from itertools import islice
from pathlib import Path from pathlib import Path
@@ -60,7 +59,7 @@ def main(
print(f.read()) print(f.read())
print() print()
try: with contextlib.suppress(KeyboardInterrupt):
subprocess.run( subprocess.run(
[ [
"python", "python",
@@ -71,8 +70,6 @@ def main(
"evaluate", "evaluate",
], ],
) )
except KeyboardInterrupt:
sys.exit(1)
if __name__ == "__main__": if __name__ == "__main__":