diff options
author | Karel Kočí <cynerd@email.cz> | 2015-04-28 14:05:15 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-04-28 14:05:15 +0200 |
commit | a493fa23a45c4a211f81690542f56b063894d611 (patch) | |
tree | 98fb6963e8be6f2a0fdb86ec9a98afde12f30f6f | |
parent | 39d8191614e4a603868b5d34b11145e836e1477e (diff) | |
download | linux-conf-perf-a493fa23a45c4a211f81690542f56b063894d611.tar.gz linux-conf-perf-a493fa23a45c4a211f81690542f56b063894d611.tar.bz2 linux-conf-perf-a493fa23a45c4a211f81690542f56b063894d611.zip |
Change config kernem_make_output
-rw-r--r-- | conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ novaboot_args = ['--qemu=qemu-system-x86_64'] parse_kconfig_output = False minisat_output = False kernel_config_output = True -kernel_make_output = True +kernel_make_output = False boot_output = False ####################################### |