diff options
| author | Jcw87 <Jcw87@users.noreply.github.com> | 2023-01-06 18:50:13 -0800 |
|---|---|---|
| committer | Jcw87 <Jcw87@users.noreply.github.com> | 2023-01-06 18:50:13 -0800 |
| commit | df2391faa70882e5f539afef20317fc6e90a2f95 (patch) | |
| tree | 489cd356908a6d94be6b045aece6541292c9d18e /diff_settings.py | |
| parent | 2112d5d992e8805533db693148e423fed5b51b53 (diff) | |
diff.py: invoke make with DISABLE_DEPS
Diffstat (limited to 'diff_settings.py')
| -rw-r--r-- | diff_settings.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/diff_settings.py b/diff_settings.py index c23703fc0b..986d363945 100644 --- a/diff_settings.py +++ b/diff_settings.py @@ -10,7 +10,9 @@ def apply(config, args): config['expected_build_dir'] = 'expected/build/' config['myimg'] = 'build/dolzel2/main.elf' config['baseimg'] = 'expected/build/dolzel2/main.elf' - config['makeflags'] = [] + config['makeflags'] = [ + 'DISABLE_DEPS=1', + ] if args.show_source: config['makeflags'].append('DEBUG=1') config['source_directories'] = ['src', 'libs', 'include'] |