diff options
author | Andrew Gallant <jamslam@gmail.com> | 2016-09-17 15:17:48 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2016-09-17 15:17:48 -0400 |
commit | 0a63158a615555c031c6dc83c80230d67d426845 (patch) | |
tree | 741ce1e93240d09b14635903b3447bc100eacd40 /benchsuite | |
parent | 6cb604f38f3a7abecaa9cdb1a7eb9556aa9d9dcc (diff) |
Fix error handling bug.
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)' |