commit e2612aa0e85a3dd2e1060d24c8bc558e66939ac2
author ncteisen <ncteisen@gmail.com> Tue Dec 19 15:00:35 2017 -0800
committer ncteisen <ncteisen@gmail.com> Tue Dec 19 15:00:35 2017 -0800
tree 7d620790ee6b323fe59552fcd4e5c0071cb06ba9
parent 0dd982cf4c409d072f2b1c537d65f93001cc0f77

Use correct timeout for benchmarks

tools/run_tests/run_tests.py

diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index bd5b864..3aa9eb8 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -385,7 +385,9 @@
                                     shortname='%s %s' % (' '.join(cmdline),
                                                          shortname_ext),
                                     cpu_cost=cpu_cost,
-                                    timeout_seconds=_DEFAULT_TIMEOUT_SECONDS *
+                                    timeout_seconds=target.get(
+                                        'timeout_seconds',
+                                        _DEFAULT_TIMEOUT_SECONDS) *
                                     timeout_scaling,
                                     environ=env))
                     elif 'gtest' in target and target['gtest']: