aboutsummaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/conf.py b/conf.py
index 19dfe35..e78e427 100644
--- a/conf.py
+++ b/conf.py
@@ -20,13 +20,13 @@ linux_make_args = ['-j8']
linux_sources = pf('linux')
linux_kconfig_head = 'Kconfig'
-required = pf('required')
build_folder = pf('build/')
phase_file = build_folder + '/phase'
symbol_map_file = build_folder + '/symbol_map' # Also defined in kconfig_parser
rules_file = build_folder + '/rules' # Also defined in kconfig_parser
solved_file = build_folder + '/solved'
required_file = build_folder + '/required'
+dot_config_file = build_folder + '/dot_config'
solution_file = build_folder + '/solution'
iteration_file = build_folder + '/iteration'