diff options
| -rw-r--r-- | 003trace.cc | 3 | ||||
| -rw-r--r-- | subx/003trace.cc | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/003trace.cc b/003trace.cc index 3213effc..dd60ce42 100644 --- a/003trace.cc +++ b/003trace.cc @@ -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) { 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) { |