| Index: build/android/adb_gdb
|
| diff --git a/build/android/adb_gdb b/build/android/adb_gdb
|
| index 00c4f89cbddd611313a69b563dd52d5dec42afab..13ce78c13ea0d67abb42d4dfaac96b685d8238f5 100755
|
| --- a/build/android/adb_gdb
|
| +++ b/build/android/adb_gdb
|
| @@ -25,6 +25,7 @@ TMPDIR=
|
| GDBSERVER_PIDFILE=
|
| TARGET_GDBSERVER=
|
| COMMAND_PREFIX=
|
| +COMMAND_SUFFIX=
|
|
|
| clean_exit () {
|
| if [ "$TMPDIR" ]; then
|
| @@ -35,7 +36,7 @@ clean_exit () {
|
| fi
|
| if [ "$TARGET_GDBSERVER" ]; then
|
| log "Removing target gdbserver binary: $TARGET_GDBSERVER."
|
| - "$ADB" shell "$COMMAND_PREFIX" rm "$TARGET_GDBSERVER" >/dev/null 2>&1
|
| + "$ADB" shell "$COMMAND_PREFIX" rm "$TARGET_GDBSERVER" "$COMMAND_SUFFIX" >/dev/null 2>&1
|
| fi
|
| log "Cleaning up: $TMPDIR"
|
| rm -rf "$TMPDIR"
|
| @@ -920,7 +921,7 @@ SOLIB_DIRS=$(find $PULL_LIBS_DIR -mindepth 1 -maxdepth 4 -type d | \
|
| # Push gdbserver to the device
|
| log "Pushing gdbserver $GDBSERVER to $TARGET_GDBSERVER"
|
| adb push $GDBSERVER $TMP_TARGET_GDBSERVER &>/dev/null
|
| -adb shell $COMMAND_PREFIX cp $TMP_TARGET_GDBSERVER $TARGET_GDBSERVER
|
| +adb shell $COMMAND_PREFIX cp $TMP_TARGET_GDBSERVER $TARGET_GDBSERVER $COMMAND_SUFFIX
|
| adb shell rm $TMP_TARGET_GDBSERVER
|
| fail_panic "Could not copy gdbserver to the device!"
|
|
|
|
|