diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-02-27 00:54:42 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-02-27 00:54:42 -0800 |
| commit | 065c01845bfc67ba8805cc02817c3de4c36f8cbd (patch) | |
| tree | eb129177357bf04b3cb90e8f30363dc3eb5ba0ab /subx/003trace.cc | |
| parent | db48aae58812de010ce549d253d6a24445d7a33f (diff) | |
| download | mu-065c01845bfc67ba8805cc02817c3de4c36f8cbd.tar.gz | |
4992
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) { |