adding random port number for openocd server

aethaniel · aethaniel · commit 37a127f28ba6 · 2014-11-21T15:35:06.000+01:00
Signed-off-by: Thibaut VIARD &lt;thibaut.viard@atmel.com&gt;
diff --git a/variants/arduino_zero/openocd_scripts/arduino_zero.cfg b/variants/arduino_zero/openocd_scripts/arduino_zero.cfg
@@ -24,4 +24,7 @@ source [find interface/cmsis-dap.cfg]
 set CHIPNAME at91samd21g18
 set ENDIAN little
 
+# choose a port here
+set telnet_port 9876
+
 source [find target/at91samdXX.cfg]
