diff options
| author | Léo Lam <leo@leolam.fr> | 2021-01-31 22:30:15 +0100 |
|---|---|---|
| committer | Léo Lam <leo@leolam.fr> | 2021-01-31 22:30:38 +0100 |
| commit | eaa0f651efa89bd6bff75fcbb482fc57a5b7d77a (patch) | |
| tree | 704862012021d3014a05af5f01c9888cd51d842b /tools/diff_settings.py | |
| parent | 36bed5720761f3d02ce2c16040cd33b753abf66c (diff) | |
tools/diff: Rebuild on library changes as well
Diffstat (limited to 'tools/diff_settings.py')
| -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'): |