From eaa0f651efa89bd6bff75fcbb482fc57a5b7d77a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Lam?= Date: Sun, 31 Jan 2021 22:30:15 +0100 Subject: [PATCH] tools/diff: Rebuild on library changes as well --- tools/diff_settings.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'):