Ticket #323: gdb.commands

File gdb.commands, 212 bytes (added by boxdev, 7 months ago)

Command file for when we run GDB.

Line 
1printf "(gdb) bt\n"
2bt
3printf "(gdb) source ~/php-5.4.13/.gdbinit\n"
4source ~/php-5.4.13/.gdbinit
5printf "(gdb) dump_bt executor_globals.current_execute_data\n"
6dump_bt executor_globals.current_execute_data
7quit