From a493fa23a45c4a211f81690542f56b063894d611 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 28 Apr 2015 14:05:15 +0200 Subject: Change config kernem_make_output --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index 54c5f20..0572287 100644 --- a/conf.py +++ b/conf.py @@ -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 ####################################### -- cgit v1.2.3