From e1ccb36e492f80c9c6b713697241fa45e77e05e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 13 Aug 2015 09:56:26 +0200 Subject: Enable multithreating execution --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index c077d77..31f343a 100644 --- a/conf.py +++ b/conf.py @@ -57,7 +57,7 @@ db_port = 5432 # multithread # Define if measurement and kernel build should be executed in parallel. -multithread = False +multithread = True # multithread_buffer # Defines maximal number of buffered configurations before generating is suspended. multithread_buffer = 32 -- cgit v1.2.3