aboutsummaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py2
1 files changed, 1 insertions, 1 deletions
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