Index: gdb/gdb_gcore.sh |
diff --git a/gdb/gdb_gcore.sh b/gdb/gdb_gcore.sh |
deleted file mode 100755 |
index de307843397a49eb9bc170c3872f4bba37e8c83d..0000000000000000000000000000000000000000 |
--- a/gdb/gdb_gcore.sh |
+++ /dev/null |
@@ -1,70 +0,0 @@ |
-#!/bin/sh |
- |
-# Copyright (C) 2003, 2005, 2007-2012 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/>. |
- |
-# |
-# gcore.sh |
-# Script to generate a core file of a running program. |
-# It starts up gdb, attaches to the given PID and invokes the gcore command. |
-# |
- |
-if [ "$#" -eq "0" ] |
-then |
- echo "usage: gcore [-o filename] pid" |
- exit 2 |
-fi |
- |
-# Need to check for -o option, but set default basename to "core". |
-name=core |
- |
-if [ "$1" = "-o" ] |
-then |
- if [ "$#" -lt "3" ] |
- then |
- # Not enough arguments. |
- echo "usage: gcore [-o filename] pid" |
- exit 2 |
- fi |
- name=$2 |
- |
- # Shift over to start of pid list |
- shift; shift |
-fi |
- |
-# Initialise return code. |
-rc=0 |
- |
-# Loop through pids |
-for pid in $* |
-do |
- # `</dev/null' to avoid touching interactive terminal if it is |
- # available but not accessible as GDB would get stopped on SIGTTIN. |
- gdb </dev/null --nx --batch \ |
- -ex "set pagination off" -ex "set height 0" -ex "set width 0" \ |
- -ex "attach $pid" -ex "gcore $name.$pid" -ex detach -ex quit |
- |
- if [ -r $name.$pid ] ; then |
- rc=0 |
- else |
- echo gcore: failed to create $name.$pid |
- rc=1 |
- break |
- fi |
- |
- |
-done |
- |
-exit $rc |