diff options
Diffstat (limited to '003trace.cc')
-rw-r--r-- | 003trace.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/003trace.cc b/003trace.cc index fb2397c2..539032c7 100644 --- a/003trace.cc +++ b/003trace.cc @@ -190,6 +190,8 @@ void trace_stream::newline() { if (should_incrementally_print_trace()) { dump_trace_line(cerr, t); } + // Hack: on 'subx --trace --dump', emit only to stderr, not 'last_run'. + if (Dump_trace) past_lines.pop_back(); // economize on memory // End trace Commit } |