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 | |
parent | db48aae58812de010ce549d253d6a24445d7a33f (diff) | |
download | mu-065c01845bfc67ba8805cc02817c3de4c36f8cbd.tar.gz |
4992
-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) { |