diff options
| author | Aetias <aetias@outlook.com> | 2024-05-26 10:50:09 +0200 |
|---|---|---|
| committer | Aetias <aetias@outlook.com> | 2024-05-26 10:50:09 +0200 |
| commit | 9deb2db7f78a9e7564da37ec08dda6ee7f9c42ff (patch) | |
| tree | abb9c45ed607b3975417ea13e70b32338da64237 /tools/objdiff.py | |
| parent | 31669e142453758d8ee4278043943329ac830984 (diff) | |
Disable incremental build when building from objdiff
Diffstat (limited to 'tools/objdiff.py')
| -rw-r--r-- | tools/objdiff.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/objdiff.py b/tools/objdiff.py index 1e6ec65d..80f91ca4 100644 --- a/tools/objdiff.py +++ b/tools/objdiff.py @@ -43,7 +43,8 @@ def get_build_path(path: Path) -> Path: config = dict() config["custom_make"] = "make" config["custom_args"] = [ - f"REGION={args.region}" + f"REGION={args.region}", + "-B" # Always build target ] config["build_target"] = True config["watch_patterns"] = [ |