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