5eb569c
diff --git a/gdb/contrib/gdb-add-index.sh b/gdb/contrib/gdb-add-index.sh
5eb569c
index cca7153..73181ec 100755
5eb569c
--- a/gdb/contrib/gdb-add-index.sh
5eb569c
+++ b/gdb/contrib/gdb-add-index.sh
5eb569c
@@ -21,6 +21,11 @@
5eb569c
 GDB=${GDB:=gdb}
5eb569c
 OBJCOPY=${OBJCOPY:=objcopy}
5eb569c
 
5eb569c
+GDB2=/usr/libexec/gdb
5eb569c
+if test -x $GDB2 && ! which $GDB &>/dev/null; then
5eb569c
+    GDB=$GDB2
5eb569c
+fi
5eb569c
+
5eb569c
 myname="${0##*/}"
5eb569c
 
5eb569c
 if test $# != 1; then