diff options
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"] = [ |