gdb/gdb-libexec-add-index.patch
2016-10-31 21:08:30 +01:00

17 lines
380 B
Diff

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