Blame SOURCES/gdb-libexec-add-index.patch

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