From 97924a976b7d6e1669cf22c5fdf292a53bae6bd0 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Tue, 16 Nov 2010 17:38:40 +0000 Subject: * gdb-add-index.sh: Really remove. --- gdb/ChangeLog | 4 ++++ gdb/gdb-add-index.sh | 29 ----------------------------- 2 files changed, 4 insertions(+), 29 deletions(-) delete mode 100755 gdb/gdb-add-index.sh (limited to 'gdb') diff --git a/gdb/ChangeLog b/gdb/ChangeLog index c1ce36d..5c1eb03 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2010-11-16 Tom Tromey + + * gdb-add-index.sh: Really remove. + 2010-11-16 Jan Kratochvil Code cleanup. diff --git a/gdb/gdb-add-index.sh b/gdb/gdb-add-index.sh deleted file mode 100755 index 940e8e7..0000000 --- a/gdb/gdb-add-index.sh +++ /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 . - -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 -- cgit v1.1