Use default_gdb_exit now.

This commit is contained in:
Rob Savoye
1993-08-30 23:06:57 +00:00
parent fd69a916ab
commit 006f1ea2a4

View File

@ -226,7 +226,7 @@ proc gdb_start {} {
}
proc gdb_exit { } {
default_gdb_exit
catch default_gdb_exit
}
# These only need to be uncommented for debugging test cases. They exist