Searched refs:GDBSERVER_PORT (Results 1 – 1 of 1) sorted by relevance
72 GDBSERVER_PORT=":5039"329 GDBSERVER_PORT=$1768 GDB="$GDBSERVER_DEVICE --no-startup-with-shell 127.0.0.1$GDBSERVER_PORT"784 GDB="$GDBSERVER_DEVICE --no-startup-with-shell 127.0.0.1$GDBSERVER_PORT"786 GDB="$GDBSERVER_HOST $GDBSERVER_PORT"1257 echo "Forward ${GDBSERVER_PORT} to local port and connect GDB"1396 echo "Connect to $GDBSERVER_PORT"