HomeSort by relevance Sort by last modified time
    Searched refs:GDBSERVER_PID (Results 1 - 2 of 2) sorted by null

  /external/chromium_org/build/android/
adb_gdb 27 GDBSERVER_PID=$(cat $GDBSERVER_PIDFILE 2>/dev/null)
28 if [ "$GDBSERVER_PID" ]; then
29 log "Killing background gdbserver process: $GDBSERVER_PID"
30 kill -9 $GDBSERVER_PID >/dev/null 2>&1
922 GDBSERVER_PID=$!
923 echo "$GDBSERVER_PID" > $GDBSERVER_PIDFILE
924 log "background job pid: $GDBSERVER_PID"
930 STATE=$(jobs -l | awk '$2 == "'$GDBSERVER_PID'" { print $3; }')
  /ndk/
ndk-gdb 680 GDBSERVER_PID=$(get_pid_of lib/gdbserver)
681 if [ "$GDBSERVER_PID" != "0" ]; then
687 run adb_cmd shell kill -9 $GDBSERVER_PID

Completed in 124 milliseconds