From 2388f3a3d19a2d874c08e1225862c2bca4ce081c Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Tue, 6 Jul 2021 15:32:26 +1000 Subject: [PATCH] Tools: generate a core file for a given PID Similarly to dumpstack.sh, uses gdb to dump a core file --- Tools/scripts/dumpcore.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 Tools/scripts/dumpcore.sh diff --git a/Tools/scripts/dumpcore.sh b/Tools/scripts/dumpcore.sh new file mode 100644 index 0000000000..a0fc6ae802 --- /dev/null +++ b/Tools/scripts/dumpcore.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +# attaches GDB to a process to dump a core + +# we want everything on stderr, so the program is not disturbed +exec 1>&2 + +PID=$1 +TMPFILE=/tmp/gdb.$$ +COREFILE="ap-$$.core" +cat << EOF > $TMPFILE +set height 0 +generate-core-file $COREFILE +quit +EOF +gdb -n -batch -x $TMPFILE --pid $PID < /dev/null 2>&1 +/bin/rm -f $TMPFILE