Searched refs:GDBSERVER_PORT (Results 1 – 1 of 1) sorted by relevance
73 GDBSERVER_PORT=":5039"330 GDBSERVER_PORT=$1756 GDB="$GDBSERVER_DEVICE --no-startup-with-shell 127.0.0.1$GDBSERVER_PORT"772 GDB="$GDBSERVER_DEVICE --no-startup-with-shell 127.0.0.1$GDBSERVER_PORT"774 GDB="$GDBSERVER_HOST $GDBSERVER_PORT"1254 echo "Forward ${GDBSERVER_PORT} to local port and connect GDB"1398 echo "Connect to $GDBSERVER_PORT"