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):