diff --git a/tools/run_tests.py b/tools/run_tests.py index 01cd98eb1..ab5a69c2e 100755 --- a/tools/run_tests.py +++ b/tools/run_tests.py @@ -232,7 +232,7 @@ def main(argv): # it takes a bit longer to run in valgrind if 'launcher=valgrind' in options: - time_limit *= 2 + time_limit *= 6 architecture = platform.machine() build_platform = platform.system() + '-' + platform.release()