diff options
Diffstat (limited to 'tools/profiling/microbenchmarks/bm_diff/bm_run.py')
| -rwxr-xr-x | tools/profiling/microbenchmarks/bm_diff/bm_run.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff/bm_run.py b/tools/profiling/microbenchmarks/bm_diff/bm_run.py index b9cce3ae5a..e281e9e61c 100755 --- a/tools/profiling/microbenchmarks/bm_diff/bm_run.py +++ b/tools/profiling/microbenchmarks/bm_diff/bm_run.py @@ -107,7 +107,7 @@ 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=60*10, + timeout_seconds=60 * 10, timeout_retries=3)) return jobs_list |