runners: jlink: Make port selectable for J-Link IP

If multiple J-Links with IP support are used, they can be selected with different ports. The actual implementation is just using the default port. Make the port selectable with <ip>:<port>. Signed-off-by: Michael Arnold <[email protected]>
zephyrproject-rtos · Oct 23, 2024 · 3b6555a · 3b6555a
1 parent d172847
commit 3b6555a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/west_commands/runners/jlink.py b/scripts/west_commands/runners/jlink.py
@@ -31,7 +31,7 @@
 
 def is_ip(ip):
     try:
-        ipaddress.ip_address(ip)
+        ipaddress.ip_address(ip.split(':')[0])
     except ValueError:
         return False
     return True