diff options
Diffstat (limited to 'tools/profiling/microbenchmarks/bm_diff/bm_run.py')
| -rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff/bm_run.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff/bm_run.py b/tools/profiling/microbenchmarks/bm_diff/bm_run.py index 9873df0412..5942929985 100755 --- a/tools/profiling/microbenchmarks/bm_diff/bm_run.py +++ b/tools/profiling/microbenchmarks/bm_diff/bm_run.py @@ -107,7 +107,8 @@ def _collect_bm_data(bm, cfg, name, reps, idx, loops): shortname='%s %s %s %s %d/%d' % (bm, line, cfg, name, idx + 1, loops), verbose_success=True, - timeout_seconds=None)) + timeout_seconds=60*10, + timeout_retries=3)) return jobs_list |