Lines Matching refs:GDBSERVER
29 log "Killing background gdbserver process: $GDBSERVER_PID"
33 log "Removing target gdbserver binary: $TARGET_GDBSERVER."
88 GDBSERVER=
121 --gdbserver=*)
122 GDBSERVER=$optarg
233 - target gdbserver binary
241 the script will use it to find the gdb and gdbserver binaries. You can
260 Otherwise, the script will complain, but you can use the --gdbserver,
305 --gdbserver=<file> Specify targer gdbserver binary.
515 BINARY=$NDK_DIR/prebuilt/android-$ARCH/gdbserver/gdbserver
517 BINARY=$(get_ndk_toolchain_prebuilt "$NDK_DIR" "$ARCH" gdbserver)
523 # use the NDK versions of gdb and gdbserver. They must match to avoid
552 # Find gdbserver binary, we will later push it to /data/local/tmp
553 # This ensures that both gdbserver and $GDB talk the same binary protocol,
556 if [ -z "$GDBSERVER" ]; then
557 GDBSERVER=$(get_ndk_gdbserver "$ANDROID_NDK_ROOT" "$TARGET_ARCH")
558 if [ -z "$GDBSERVER" ]; then
559 panic "Can't find NDK gdbserver binary. use --gdbserver to specify \
562 log "Auto-config: --gdbserver=$GDBSERVER"
603 GDBSERVER_PIDFILE="$TMPDIR"/gdbserver-$TMP_ID.pid
641 # If --force is specified, try to kill any gdbserver process started by the
646 GDBSERVER_PIDS=$(adb_shell ps | awk '$9 ~ /gdbserver/ { print $2; }')
648 log "Killing previous gdbserver (PID=$GDB_PID)"
722 TARGET_GDBSERVER=/data/local/tmp/gdbserver-adb-gdb-$TMP_ID
823 # If so, we can launch gdbserver directly, otherwise, we have to
884 # versions of gdbserver and $GDBNAME to ensure that everything works
888 # Push gdbserver to the device
889 log "Pushing gdbserver to $TARGET_GDBSERVER"
890 adb push $GDBSERVER $TARGET_GDBSERVER &>/dev/null
891 fail_panic "Could not copy gdbserver to the device!"
909 # Start gdbserver in the background
916 log "Starting gdbserver in the background:"
917 GDBSERVER_LOG=$TMPDIR/gdbserver-$TMP_ID.log
932 echo "ERROR: GDBServer could not attach to PID $PID!"
