Lines Matching refs:gdbserver
34 log "Killing background gdbserver process: $GDBSERVER_PID"
38 log "Removing target gdbserver binary: $TARGET_GDBSERVER."
93 GDBSERVER=
126 --gdbserver=*)
127 GDBSERVER=$optarg
244 - target gdbserver binary
269 Otherwise, the script will complain, but you can use the --gdbserver,
315 --gdbserver=<file> Specify target gdbserver binary.
530 BINARY=$NDK_DIR/prebuilt/android-$ARCH/gdbserver/gdbserver
532 BINARY=$(get_ndk_toolchain_prebuilt "$NDK_DIR" "$ARCH" gdbserver)
538 # use the NDK versions of gdb and gdbserver. They must match to avoid
569 # Find gdbserver binary, we will later push it to /data/local/tmp
570 # This ensures that both gdbserver and $GDB talk the same binary protocol,
573 if [ -z "$GDBSERVER" ]; then
574 GDBSERVER=$(get_ndk_gdbserver "$ANDROID_NDK_ROOT" "$TARGET_ARCH")
575 GDBSERVER" ]; then
576 panic "Can't find NDK gdbserver binary. use --gdbserver to specify \
579 log "Auto-config: --gdbserver=$GDBSERVER"
620 GDBSERVER_PIDFILE="$TMPDIR"/gdbserver-$TMP_ID.pid
658 # If --force is specified, try to kill any gdbserver process started by the
663 GDBSERVER_PIDS=$(adb_shell ps | awk '$9 ~ /gdbserver/ { print $2; }')
665 log "Killing previous gdbserver (PID=$GDB_PID)"
739 TARGET_GDBSERVER=/data/local/tmp/gdbserver-adb-gdb-$TMP_ID
840 # If so, we can launch gdbserver directly, otherwise, we have to
901 # versions of gdbserver and $GDBNAME to ensure that everything works
905 # Push gdbserver to the device
906 log "Pushing gdbserver $GDBSERVER to $TARGET_GDBSERVER"
907 adb push $GDBSERVER $TARGET_GDBSERVER &>/dev/null
908 fail_panic "Could not copy gdbserver to the device!"
940 # Start gdbserver in the background
947 log "Starting gdbserver in the background:"
948 GDBSERVER_LOG=$TMPDIR/gdbserver-$TMP_ID.log
963 echo "ERROR: GDBServer could not attach to PID $PID!"
