Searched refs:GDBSERVER_PID (Results 1 - 1 of 1) sorted by relevance

/ndk/
H A Dndk-gdb657 GDBSERVER_PID=$(get_pid_of lib/gdbserver)
658 if [ "$GDBSERVER_PID" != "0" ]; then
664 run adb_cmd shell kill -9 $GDBSERVER_PID

Completed in 62 milliseconds