diff options
Diffstat (limited to 'benchsuite')
| -rwxr-xr-x | benchsuite/benchsuite | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/benchsuite/benchsuite b/benchsuite/benchsuite index a8538b96..1e0fc9fd 100755 --- a/benchsuite/benchsuite +++ b/benchsuite/benchsuite @@ -1157,6 +1157,7 @@ def collect_benchmarks(suite_dir, filter_pat=None, name, ' '.join(['--download %s' % n for n in e.missing_names]), )) + continue except MissingCommands as e: fmt = 'missing commands: %s, skipping benchmark %s ' \ '(run with --allow-missing to run incomplete benchmarks)' |