From 536976d60c8417d901b7a0f4b1182e52790e499f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Wed, 13 May 2015 18:16:13 +0200
Subject: Swap some lines in conf.py

---
 conf.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/conf.py b/conf.py
index 277f44f..284e4ab 100644
--- a/conf.py
+++ b/conf.py
@@ -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'
 
 
-- 
cgit v1.2.3