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