diff --git a/scripts/run.py b/scripts/run.py index 2424b7e257ccf42ffe123038aa70742f3eb58a59..12c527f7723799797f0a8220a176b4e9b09d67f6 100755 --- a/scripts/run.py +++ b/scripts/run.py @@ -91,6 +91,7 @@ def benchmark(conf): failed_model_idx = conf.Models.index(model) available_models[tool] = conf.Models[ : failed_model_idx] print('# Ignoring models {models} for tool {tool} in the future'.format(models=conf.Models[failed_model_idx : ], tool=tool)) + break def clean_dir(*path):