kconfig2sat almost finished

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

diff --git a/conf.py b/conf.py
index b8ee9865bdb5fb7cff7659dfbf1543a5c22d6dbe..4c4ed8ffc1819143215d7b492ef8855bb30b84a0 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -39,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.