Index: build/android/adb_gdb |
diff --git a/build/android/adb_gdb b/build/android/adb_gdb |
index 3612f90991bd4c55a67fe092243c822829c8c053..65ec7b20b87df53f1de71e9ac4d31e3cad6c1ee4 100755 |
--- a/build/android/adb_gdb |
+++ b/build/android/adb_gdb |
@@ -97,6 +97,7 @@ NDK_DIR= |
NO_PULL_LIBS= |
PACKAGE_NAME= |
PID= |
+PORT= |
PRIVILEGED= |
PRIVILEGED_INDEX= |
PROGRAM_NAME="activity" |
@@ -147,6 +148,9 @@ for opt; do |
--pid=*) |
PID=$optarg |
;; |
+ --port=*) |
+ PORT=$optarg |
+ ;; |
--privileged) |
PRIVILEGED=true |
;; |
@@ -329,6 +333,7 @@ Valid options: |
--gdb=<file> Specify host gdb client binary. |
--target-arch=<name> Specify NDK target arch. |
--adb=<file> Specify host ADB binary. |
+ --port=<port> Specify the tcp port to use. |
--su-prefix=<prefix> Prepend <prefix> to 'adb shell' commands that are |
run by this script. This can be useful to use |
@@ -933,7 +938,9 @@ adb shell $COMMAND_PREFIX cp $TMP_TARGET_GDBSERVER $TARGET_GDBSERVER |
adb shell rm $TMP_TARGET_GDBSERVER |
fail_panic "Could not copy gdbserver to the device!" |
-PORT=5039 |
+if [ -z "$PORT" ]; then |
+ PORT=5039 |
+fi |
HOST_PORT=$PORT |
TARGET_PORT=$PORT |