kconfig2sat: More work

[linux-conf-perf.git] / conf.py

diff --git a/conf.py b/conf.py
index 955f515a38f3bbb8969a2b7cf390d17fac60fbb3..4c4ed8ffc1819143215d7b492ef8855bb30b84a0 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -2,6 +2,7 @@ import os
 import sys
 import re
 import importlib.machinery
+import multiprocessing
 
 ## Global configs
 # kernel_arch
@@ -14,7 +15,7 @@ kernel_arch = 'x86'
 kernel_env = {'SRCARCH': kernel_arch, 'ARCH': kernel_arch, 'KERNELVERSION': kernel_arch}
 # build_command
 # Command executed for kernel build in linux folder.
-build_command = ['make']
+build_command = ['make', '-j', str(multiprocessing.cpu_count())]
 
 # boot_command
 # Command executed for booting. Output of this command is saved to output folder.
@@ -38,18 +39,19 @@ picosat_args = []
 # db_database
 # Database in PostgreSQL to be used for this tools
 db_database = 'linux-conf-perf'
-# db_user
-# Define PostgreSQL user
-db_user = 'user'
-# db_password
-# Define PostrgreSQL user password
-db_password = 'password'
-# db_host
-# Address of PostgreSQL database server
-db_host = 'localhost'
-# db_port
-# Port of PotgreSQL database server
-db_port = 5432
+
+# # db_user
+# # Define PostgreSQL user
+# db_user = 'user'
+# # db_password
+# # Define PostrgreSQL user password
+# db_password = 'password'
+# # db_host
+# # Address of PostgreSQL database server
+# db_host = 'localhost'
+# # db_port
+# # Port of PotgreSQL database server
+# db_port = 5432
 
 # multithread
 # Define if measurement and kernel build should be executed in parallel.