Searched refs:GDBSERVER_PID (Results 1 - 1 of 1) sorted by relevance
/ndk/ | ||
H A D | ndk-gdb | 657 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