From 40ed633b7c034761e092b9bb937c773a8dacbc2d Mon Sep 17 00:00:00 2001
From: Jason2866 <24528715+Jason2866@users.noreply.github.com>
Date: Sat, 17 May 2025 16:35:48 +0200
Subject: [PATCH] use provided upload port

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

diff --git a/builder/main.py b/builder/main.py
index 2cb21d1ab..658fc6a42 100644
--- a/builder/main.py
+++ b/builder/main.py
@@ -32,7 +32,8 @@ def BeforeUpload(target, source, env):
     if "BOARD" in env:
         upload_options = env.BoardConfig().get("upload", {})
 
-    env.AutodetectUploadPort()
+    if not env.subst("$UPLOAD_PORT"):
+        env.AutodetectUploadPort()
 
     before_ports = get_serial_ports()
     if upload_options.get("use_1200bps_touch", False):