diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/diff_settings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/diff_settings.py b/tools/diff_settings.py index 654f8df3..569bb218 100644 --- a/tools/diff_settings.py +++ b/tools/diff_settings.py @@ -5,7 +5,7 @@ def apply(config, args): config['arch'] = 'aarch64' config['baseimg'] = 'data/main.elf' config['myimg'] = 'build/uking' - config['source_directories'] = ['src'] + config['source_directories'] = ['src', 'lib'] config['objdump_executable'] = 'tools/aarch64-none-elf-objdump' for dir in ('build', 'build/nx64-release'): |