about summary refs log tree commit diff stats
path: root/003trace.cc
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-01-02 02:02:37 -0800
committerKartik Agaram <vc@akkartik.com>2020-01-02 02:02:37 -0800
commitab02bb66328f3dd8066a32efb04d86f67f34993e (patch)
treee1b464483796e5b1f512f9b436f37e7c2266fde9 /003trace.cc
parent9e5e87ca3776efa5f0d772ed8cf348bf6ee4d08e (diff)
downloadmu-ab02bb66328f3dd8066a32efb04d86f67f34993e.tar.gz
5866
Stop requiring '--debug' in 'bootstrap run'. Now it's smart enough to turn
on when needed.

This creates some small chance of reading stale debug info for the wrong
binary, but in practice that hasn't been an issue.
Diffstat (limited to '003trace.cc')
-rw-r--r--003trace.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/003trace.cc b/003trace.cc
index 25b21825..688ba0e1 100644
--- a/003trace.cc
+++ b/003trace.cc
@@ -453,6 +453,7 @@ else if (is_equal(*arg, "--trace")) {
   // 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";
+  // End --trace Settings
 }
 :(before "End trace Commit")
 if (Trace_file) {