aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-13 18:04:36 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-13 18:04:36 +0200
commit8f6955bb11231b46d74a10b619d175f0effabf86 (patch)
tree693158e3c1267d291b17e9f411930147e1ab2b92
parent6b1e2e4c741321047af1cad95ac155f30f1e5550 (diff)
downloadlinux-conf-perf-8f6955bb11231b46d74a10b619d175f0effabf86.tar.gz
linux-conf-perf-8f6955bb11231b46d74a10b619d175f0effabf86.tar.bz2
linux-conf-perf-8f6955bb11231b46d74a10b619d175f0effabf86.zip
Fix conf.py
-rw-r--r--conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/conf.py b/conf.py
index 9e6d094..277f44f 100644
--- a/conf.py
+++ b/conf.py
@@ -17,7 +17,7 @@ linux_make_args = ['-j8']
# 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 = [conf.novaboot, conf.nbscript] + novaboot_args
+boot_command = [novaboot, nbscript] + novaboot_args
picosat_args = []
## Programs output show/hide