* gdb-add-index.sh: Really remove.
authorTom Tromey <tromey@redhat.com>
Tue, 16 Nov 2010 17:38:40 +0000 (17:38 +0000)
committerTom Tromey <tromey@redhat.com>
Tue, 16 Nov 2010 17:38:40 +0000 (17:38 +0000)
gdb/ChangeLog
gdb/gdb-add-index.sh [deleted file]

index c1ce36d..5c1eb03 100644 (file)
@@ -1,3 +1,7 @@
+2010-11-16  Tom Tromey  <tromey@redhat.com>
+
+       * gdb-add-index.sh: Really remove.
+
 2010-11-16  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
        Code cleanup.
diff --git a/gdb/gdb-add-index.sh b/gdb/gdb-add-index.sh
deleted file mode 100755 (executable)
index 940e8e7..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-#! /bin/sh
-
-# Add a .gdb_index section to a file.
-
-# Copyright (C) 2010 Free Software Foundation, Inc.
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 3 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program.  If not, see <http://www.gnu.org/licenses/>.
-
-file="$1"
-dir="${file%/*}"
-
-gdb --batch-silent -ex "file $file" -ex "save gdb-index $dir"
-
-if test -f "${file}.gdb-index"; then
-   objcopy --add-section .gdb_index="${file}.gdb-index" --set-section-flags .gdb_index=readonly "$file" "$file"
-   rm -f "${file}.gdb-index"
-fi
-
-exit 0