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 /003trace.cc | |
| parent | db48aae58812de010ce549d253d6a24445d7a33f (diff) | |
| download | mu-065c01845bfc67ba8805cc02817c3de4c36f8cbd.tar.gz | |
4992
Diffstat (limited to '003trace.cc')
| -rw-r--r-- | 003trace.cc | 3 |
1 files changed, 3 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) { |