diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-11 00:55:01 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-11 00:55:01 -0700 |
| commit | f43c2125ededff8ff8710dcc042a89d5e95ce243 (patch) | |
| tree | f4da3823bd83d426fc2bc7d3fac2bf9f001386dc /081run_interactive.cc | |
| parent | 84f778325d6bc92da9f92696fa42a5044d9622ae (diff) | |
| download | mu-f43c2125ededff8ff8710dcc042a89d5e95ce243.tar.gz | |
1759
Diffstat (limited to '081run_interactive.cc')
| -rw-r--r-- | 081run_interactive.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index 76a7e2f4..179ab218 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -51,6 +51,10 @@ bool run_interactive(long long int address) { if (command.empty()) return false; Recipe.erase(Recipe_ordinal["interactive"]); Hide_warnings = true; + if (!Trace_stream) { + Trace_file = ""; // if there wasn't already a stream we don't want to save it + Trace_stream = new trace_stream; + } // call run(string) but without the scheduling load("recipe interactive [\n"+command+"\n]\n"); transform_all(); |