diff options
Diffstat (limited to 'subx/003trace.cc')
| -rw-r--r-- | subx/003trace.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/subx/003trace.cc b/subx/003trace.cc index b794cab9..9aba3f12 100644 --- a/subx/003trace.cc +++ b/subx/003trace.cc @@ -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) { |