diff options
Diffstat (limited to '081run_interactive.cc')
| -rw-r--r-- | 081run_interactive.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index 3f68a514..bd5a6496 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -56,6 +56,7 @@ bool run_interactive(long long int address) { if (!Trace_stream) { Trace_file = ""; // if there wasn't already a stream we don't want to save it Trace_stream = new trace_stream; + Trace_stream->collect_layer = "warn"; } // call run(string) but without the scheduling load("recipe interactive [\n"+command+"\n]\n"); |