-
Robert Ricci authored
things (like finishing writing the gmon.out file when profiling) that don't happen when you control-c or kill the program.
a55eba7f
things (like finishing writing the gmon.out file when profiling) that don't happen when you control-c or kill the program.