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()