From d7e7093da607a5cfd8cb7995311db32737d2fd00 Mon Sep 17 00:00:00 2001 From: Arvid Norberg Date: Thu, 3 Oct 2013 16:54:41 +0000 Subject: [PATCH] lower the timeout for valgrind tests a bit --- tools/run_tests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/run_tests.py b/tools/run_tests.py index c916cbe84..fee5efa3e 100755 --- a/tools/run_tests.py +++ b/tools/run_tests.py @@ -239,7 +239,7 @@ def main(argv): # it takes a bit longer to run in valgrind if 'launcher=valgrind' in options: - time_limit *= 6 + time_limit *= 3 architecture = platform.machine() build_platform = platform.system() + '-' + platform.release()