diff options
-rw-r--r-- | 020run.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 73edf01b..e82c07e7 100644 --- a/020run.cc +++ b/020run.cc @@ -199,7 +199,10 @@ transform_all(); //? cerr << to_original_string(get(Recipe, get(Recipe_ordinal, "event-loop"))) << '\n'; //? DUMP(""); //? exit(0); -if (trace_contains_errors()) return 1; +if (trace_contains_errors()) { + if (Start_tracing && Trace_stream) Trace_stream->dump(); + return 1; +} save_snapshots(); //: Step 3: if we aren't running tests, locate a recipe called 'main' and |