diff options
Diffstat (limited to 'source4/script/gdb_run')
-rwxr-xr-x | source4/script/gdb_run | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/source4/script/gdb_run b/source4/script/gdb_run deleted file mode 100755 index 8ad101ed60..0000000000 --- a/source4/script/gdb_run +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -ENV="$1" - -shift 1 - -if test -z "$TMPDIR"; then - TMPDIR="/tmp" -fi - -TMPFILE=$TMPDIR/gdb_run.$$ -cat << EOF > $TMPFILE -run -bt -EOF - -trap "/bin/rm -f $TMPFILE" EXIT -CMD="gdb -x $TMPFILE --args $@" -echo $CMD -eval $ENV "$CMD" |