diff options
author | Karel Kočí <cynerd@email.cz> | 2015-05-06 21:18:38 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-05-06 21:18:38 +0200 |
commit | 86eb35073eaf733db725647eb7429da22d4d365a (patch) | |
tree | 5dff5d8e040624b546d78f545469027ab5198ae5 /conf.py | |
parent | ff8c714ac90ba532030a5889ab9529c31a966238 (diff) | |
download | linux-conf-perf-86eb35073eaf733db725647eb7429da22d4d365a.tar.gz linux-conf-perf-86eb35073eaf733db725647eb7429da22d4d365a.tar.bz2 linux-conf-perf-86eb35073eaf733db725647eb7429da22d4d365a.zip |
Add generation of all solutions in initialization phase
Diffstat (limited to 'conf.py')
-rw-r--r-- | conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,6 +5,7 @@ SRCARCH = 'x86' # Kernel architecture ARCH = SRCARCH linux_make_args = ['-j8'] novaboot_args = ['--qemu=qemu-system-x86_64'] +gen_all_solution_oninit = True # If True, all solutions are generated at initialization. picosat_args = [] # Programs output show/hide |