From bc53f46d46a08e95b424ae280a6e45b1566689fa Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 5 Nov 2016 22:17:55 -0700 Subject: 3627 - selective dumping a single label Follow-up to commit 3516. --- html/003trace.cc.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'html') diff --git a/html/003trace.cc.html b/html/003trace.cc.html index a5523956..4cfee97a 100644 --- a/html/003trace.cc.html +++ b/html/003trace.cc.html @@ -122,9 +122,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color :(before "End Globals") bool Hide_errors = false; bool Dump_trace = false; +string Dump_label = ""; :(before "End Setup") Hide_errors = false; Dump_trace = false; +Dump_label = ""; :(before "End Types") // Pre-define some global constants that trace_stream needs to know about. @@ -170,7 +172,9 @@ Dump_trace = false; string curr_contents = curr_stream->str(); if (!curr_contents.empty()) { past_lines.push_back(trace_line(curr_depth, trim(curr_label), curr_contents)); // preserve indent in contents - if (Dump_trace || (!Hide_errors && curr_label == "error")) + if ((!Hide_errors && curr_label == "error") + || Dump_trace + || (!Dump_label.empty() && curr_label == Dump_label)) cerr << curr_label << ": " << curr_contents << '\n'; } delete curr_stream; -- cgit 1.4.1-2-gfad0