diff options
| -rw-r--r-- | conf.py | 5 | 
1 files changed, 3 insertions, 2 deletions
| @@ -27,8 +27,9 @@ linux_image = linux_sources + 'arch/' + ARCH + '/boot/bzImage'  build_folder = '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 +symbol_map_file = build_folder + 'symbol_map' # Also defined in parse_kconfig +rules_file = build_folder + 'rules' # Also defined in parse_kconfig +variable_count_file = build_folder + 'variable_count' # Also defined in parse_kconfig  solved_file = build_folder + 'solved'  required_file = build_folder + 'required'  dot_config_fragment_file = build_folder + 'dot_config_fragment' | 
