This commit is contained in:
Kartik Agaram 2019-02-27 00:54:42 -08:00
parent db48aae588
commit 065c01845b
2 changed files with 6 additions and 0 deletions

View File

@ -421,6 +421,9 @@ else if (is_equal(*arg, "--trace")) {
Trace_stream = new trace_stream;
cerr << "saving trace to 'last_run'\n";
Trace_file.open("last_run");
// Add a dummy line up top; otherwise the `browse_trace` tool currently has
// no way to expand any lines above an error.
Trace_file << " 0 dummy: start\n";
}
:(before "End trace Commit")
if (Trace_file) {

View File

@ -415,6 +415,9 @@ ofstream Trace_file;
else if (is_equal(*arg, "--trace")) {
cerr << "saving trace to 'last_run'\n";
Trace_file.open("last_run");
// Add a dummy line up top; otherwise the `browse_trace` tool currently has
// no way to expand any lines above an error.
Trace_file << " 0 dummy: start\n";
}
:(before "End trace Commit")
if (Trace_file) {