From 68f9a84b3b9a96d6d719fa716c7d062bc81fb795 Mon Sep 17 00:00:00 2001 From: Arvid Norberg Date: Sun, 16 Jun 2013 15:52:49 +0000 Subject: [PATCH] fix -j option in run_tests.py --- 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 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)