diff options
author | Kartik Agaram <vc@akkartik.com> | 2020-01-02 02:02:37 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2020-01-02 02:02:37 -0800 |
commit | ab02bb66328f3dd8066a32efb04d86f67f34993e (patch) | |
tree | e1b464483796e5b1f512f9b436f37e7c2266fde9 /003trace.cc | |
parent | 9e5e87ca3776efa5f0d772ed8cf348bf6ee4d08e (diff) | |
download | mu-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.cc | 1 |
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) { |