diff --git a/Testing/gdbstexec b/Testing/gdbstexec index 5e943bc..2b49a3a 100755 --- a/Testing/gdbstexec +++ b/Testing/gdbstexec @@ -1,4 +1,15 @@ #!/bin/csh +# +# gdbstexec - GDB wrapper for stexec +# +# Put this file to be reachable from your PATH +# +# Use like stexec: +# gdbstexec script_name ... +# This will run stexec in gdb and run it with script script_name. After +# finishing, backtrace is displayed +# + set temp = `tempfile -p stexec` echo set args $*:q > $temp