1 files changed, 7 insertions, 1 deletions

diff --git a/java/debug.sh b/java/debug.sh
index cbef7518984..30e5a94eee5 100755
--- a/java/debug.sh
+++ b/java/debug.sh
@@ -32,6 +32,7 @@ jdb_port=64013
 jdb=no
 attach_existing=no
 gdbserver=
+gdb=gdb
 
 while [ $# -gt 0 ]; do
     case "$1" in
@@ -51,6 +52,7 @@ while [ $# -gt 0 ]; do
             echo "  --port PORT         run the GDB server on a specific port"
             echo "  --jdb-port PORT     run the JDB server on a specific port"
             echo "  --jdb               run JDB instead of GDB"
+            echo "  --gdb               use specified GDB binary"
             echo "  --attach-existing   attach to an existing process"
             echo "  --gdbserver BINARY  upload and use the specified gdbserver binary"
             echo "  --help              print this message"
@@ -65,6 +67,10 @@ while [ $# -gt 0 ]; do
         "--jdb" )
             jdb=yes
             ;;
+        "--gdb" )
+            shift
+            gdb=$1
+            ;;
         "--gdbserver" )
             shift
             gdbserver=$1
@@ -355,4 +361,4 @@ fi
 
 # Finally, start gdb with any extra arguments needed.
 cd "$oldpwd"
-gdb --eval-command "target remote localhost:$gdb_port" $gdbargs
+$gdb --eval-command "target remote localhost:$gdb_port" $gdbargs