X-Git-Url: https://rtime.felk.cvut.cz/gitweb/linux-conf-perf.git/blobdiff_plain/7ffc2965caf376ac2aac3b58b16deeccd721f590..HEAD:/conf.py diff --git a/conf.py b/conf.py index 4c4ed8f..13d5cd7 100644 --- a/conf.py +++ b/conf.py @@ -40,19 +40,6 @@ picosat_args = [] # 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 - # multithread # Define if measurement and kernel build should be executed in parallel. multithread = False @@ -60,13 +47,6 @@ multithread = False # Defines maximal number of buffered configurations before generating is suspended. multithread_buffer = 32 -# git_describe_cmd -# Command used for getting tools version and status from git -git_describe_cmd = ['git', 'describe', '--always', '--tags', '--dirty'] -# git_commit_cmd -# Command used for getting commit hash from git -git_commit_cmd = ['git', 'rev-parse', '--verify', 'HEAD'] - ## Programs output show/hide # These options hides output of launched programs from terminal. # If variable is True, output is printed. Otherwise is hidden.