Enable multithreating execution

diff --git a/conf.py b/conf.py
index c077d77575d24ddce9b24c9bb539d1d9dbd0082d..31f343af90caad981bdb98a45992b15279f73f30 100644 (file)
--- 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