diff options
author | Karel Kočí <cynerd@email.cz> | 2015-07-17 11:50:04 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-07-17 12:07:08 +0200 |
commit | 1ad844cee99d5d7b737b62f56eb5ccdc806f433d (patch) | |
tree | 08a33aa2d935d8be5b23a2667fe50622b474bf80 /conf.py | |
parent | 485c55bcca5ad0480cf3c73b006a98e26ccc3f52 (diff) | |
download | linux-conf-perf-1ad844cee99d5d7b737b62f56eb5ccdc806f433d.tar.gz linux-conf-perf-1ad844cee99d5d7b737b62f56eb5ccdc806f433d.tar.bz2 linux-conf-perf-1ad844cee99d5d7b737b62f56eb5ccdc806f433d.zip |
Remove possibility of generating next solution in loop.
Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.
Diffstat (limited to 'conf.py')
-rw-r--r-- | conf.py | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -5,10 +5,6 @@ import os # This defines environment variable for linux kernel. # Change this to change target architecture ARCH = 'x86' -# gen_all_solutions_oninit -# If True, all solutions are generated at initalization. -# If False, every loop is generated one solution. -gen_all_solution_oninit = True # If True, all solutions are generated at initialization. # kernle_env # Enviroment variables for Linux @@ -33,7 +29,7 @@ boot_command = ['scripts/novaboot/novaboot', nbscript] + novaboot_args # picosat_args # Arguments passed to PicoSAT. -picosat_args = [] +picosat_args = ['--all'] ## Programs output show/hide # These options hides output of launched programs from terminal. @@ -74,7 +70,6 @@ rules_file = build_folder + 'rules' # Also defined in parse_kconfig variable_count_file = build_folder + 'variable_count' # Also defined in parse_kconfig config_map_file = build_folder + 'config_map' config_solved_file = build_folder + 'config_solved' -solved_file = build_folder + 'solved' required_file = build_folder + 'required' dot_config_fragment_file = build_folder + 'dot_config_fragment' dot_config_back_file = build_folder + 'dot_config_back' |