Searched refs:GDBSERVER_DEVICE (Results 1 – 1 of 1) sorted by relevance
41 GDBSERVER_DEVICE="gdbserver"334 GDBSERVER_DEVICE=$1425 GDBSERVER_DEVICE="gdbserver64"768 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"