From 6588085679656c48696613fad95b967d3d2ef522 Mon Sep 17 00:00:00 2001
From: Michael Sauer <michael.sauer@qconnex.com>
Date: Sat, 12 Sep 2026 10:23:54 +0200
Subject: [PATCH] fix: flash.sh akzeptiert den Port auch mit /dev/-Praefix

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
---
 tools/flash.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/flash.sh b/tools/flash.sh
index 13ef62a..a7c8ec7 100755
--- a/tools/flash.sh
+++ b/tools/flash.sh
@@ -6,6 +6,8 @@ set -euo pipefail
 DEV=${1:?usage: tools/flash.sh <device> <port> [full]}
 PORT=${2:?usage: tools/flash.sh <device> <port> [full]}
 MODE=${3:-app}
+# wm_tool prepends /dev/ itself - accept either spelling.
+PORT=${PORT#/dev/}
 ROOT=$(cd "$(dirname "$0")/.." && pwd)
 TOOL="$ROOT/build/host-tools/wm_tool"
 if [ ! -x "$TOOL" ] || [ "$ROOT/sdk/tools/wm_tool.c" -nt "$TOOL" ]; then