diff options
Diffstat (limited to '003trace.cc')
| -rw-r--r-- | 003trace.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/003trace.cc b/003trace.cc index b4776d44..25b21825 100644 --- a/003trace.cc +++ b/003trace.cc @@ -190,7 +190,7 @@ 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'. + // Hack: on 'bootstrap --trace --dump', emit only to stderr, not 'last_run'. if (Dump_trace) past_lines.pop_back(); // economize on memory // End trace Commit } |