diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-13 18:16:13 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-13 18:16:13 +0200 |
| commit | 536976d60c8417d901b7a0f4b1182e52790e499f (patch) | |
| tree | 8c77c95770248c19eac2f9c893eaea2362358066 /conf.py | |
| parent | 8f6955bb11231b46d74a10b619d175f0effabf86 (diff) | |
| download | linux-conf-perf-536976d60c8417d901b7a0f4b1182e52790e499f.tar.gz linux-conf-perf-536976d60c8417d901b7a0f4b1182e52790e499f.tar.bz2 linux-conf-perf-536976d60c8417d901b7a0f4b1182e52790e499f.zip | |
Swap some lines in conf.py
Diffstat (limited to 'conf.py')
| -rw-r--r-- | conf.py | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -12,12 +12,14 @@ SRCARCH = ARCH # linux_make_args # These are arguments passed to make when linux is build linux_make_args = ['-j8'] +gen_all_solution_oninit = True # If True, all solutions are generated at initialization. + # novaboot_args # These are arguments passed to novaboot, # but only if you don't remove it from boot_command. novaboot_args = ['--qemu=qemu-system-x86_64'] -gen_all_solution_oninit = True # If True, all solutions are generated at initialization. -boot_command = [novaboot, nbscript] + novaboot_args +nbscript = 'scripts/nbscript' +boot_command = ['scripts/novaboot/novaboot', nbscript] + novaboot_args picosat_args = [] ## Programs output show/hide @@ -66,12 +68,10 @@ output_confs = build_folder + 'output_confs' output_folder = 'output/' log_folder = 'log/' -nbscript = 'scripts/nbscript' ## Programs paths parse_kconfig = 'scripts/parse_kconfig/parse' write_config = 'scripts/write_config/write' -novaboot = 'scripts/novaboot/novaboot' picosat = 'scripts/picosat-959/picosat' |