allow valgrind to take even longer

2014-01-24 21:17:41 +00:00 · 2014-01-24 21:17:41 +00:00 · 8cfbb8a243
parent b3ea887109
commit 8cfbb8a243
1 changed files with 1 additions and 1 deletions
--- 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 *= 3
+		time_limit *= 6

 	architecture = platform.machine()
 	build_platform = platform.system() + '-' + platform.release()