diff --git a/tools/run_tests.py b/tools/run_tests.py index f86bd0f95..3e7d42b54 100755 --- a/tools/run_tests.py +++ b/tools/run_tests.py @@ -206,7 +206,7 @@ def main(): timestamp = datetime.now() - tester_pool = Pool(processes=4) + tester_pool = Pool(processes=num_processes) print '%d - %s - %s' % (revision, author, timestamp)