2017-12-04 19:24:00 +00:00
|
|
|
From: Fedora GDB patches <invalid@email.com>
|
|
|
|
|
Date: Fri, 27 Oct 2017 21:07:50 +0200
|
|
|
|
|
Subject: gdb-libexec-add-index.patch
|
|
|
|
|
|
|
|
|
|
FileName: gdb-libexec-add-index.patch
|
|
|
|
|
|
2016-10-31 20:08:30 +00:00
|
|
|
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
|
