diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-12-07 13:48:51 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-12-07 13:48:51 -0800 |
| commit | 472e4ce96d5c4524fa5969726fe0ca0c06e23c74 (patch) | |
| tree | d5c1a7c46a73dcf1c5d7733db153c100dc4fab8d | |
| parent | 2a81a54726fdb8ad94bee9efc85020a808c618b5 (diff) | |
| download | mu-472e4ce96d5c4524fa5969726fe0ca0c06e23c74.tar.gz | |
4149
| -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 |