SQUASHME: adding ports for openocd

boards/stm32f3discovery/dist/debug.sh

@@ -5,6 +5,11 @@ if [ ! -f "$2" ]; then
     exit 1
 fi
 
+# if GDB_PORT does not exist or holds empty string
+if [ -z ${GDB_PORT} ]; then
+    GDB_PORT=0
+fi
+
 echo "##"
 echo "## Debugging $2"
 echo "##"
@@ -12,6 +17,7 @@ echo "##"
 openocd -f "board/stm32f3discovery.cfg" \
     -c "tcl_port 6333" \
     -c "telnet_port 4444" \
+    -c "gdb_port ${GDB_PORT}"
     -c "init" \
     -c "targets" \
     -c "reset halt" \

boards/stm32f3discovery/dist/flash.sh

@@ -6,6 +6,9 @@ echo "##"
 
 openocd -f "board/stm32f3discovery.cfg" \
     -c "init" \
+    -c "tcl_port 0" \
+    -c "telnet_port 0" \
+    -c "gdb_port 0" \
     -c "targets" \
     -c "reset halt" \
     -c "program $1 0x08000000 verify" \

boards/stm32f3discovery/dist/reset.sh

@@ -6,5 +6,8 @@ echo "##"
 
 openocd -f "board/stm32f3discovery.cfg" \
     -c "init" \
+    -c "tcl_port 0" \
+    -c "telnet_port 0" \
+    -c "gdb_port 0" \
     -c "reset run"\
     -c "shutdown"