From 9deb2db7f78a9e7564da37ec08dda6ee7f9c42ff Mon Sep 17 00:00:00 2001 From: Aetias Date: Sun, 26 May 2024 10:50:09 +0200 Subject: [PATCH] Disable incremental build when building from objdiff --- tools/objdiff.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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"] = [