From d825c1e5313c0fb990ab970b337e743b56ead24c Mon Sep 17 00:00:00 2001
From: Philipp Serr <episource@gmx.de>
Date: Sat, 26 Feb 2022 22:19:25 +0100
Subject: [PATCH] Use *.elf instead of *.bin if no offset given

---
 builder/main.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/builder/main.py b/builder/main.py
index d34c935..0854f09 100644
--- a/builder/main.py
+++ b/builder/main.py
@@ -222,6 +222,8 @@ elif upload_protocol in debug_tools:
         UPLOADER="openocd",
         UPLOADERFLAGS=openocd_args,
         UPLOADCMD="$UPLOADER $UPLOADERFLAGS")
+    if not board.get("upload").get("offset_address"):
+        upload_source = target_elf
     upload_actions = [env.VerboseAction("$UPLOADCMD", "Uploading $SOURCE")]
 
 # custom upload tool