diff options
Diffstat (limited to '050scenario.cc')
-rw-r--r-- | 050scenario.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/050scenario.cc b/050scenario.cc index b4170f8c..9b7d1c2e 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -197,10 +197,8 @@ if (Test_only_app && Num_core_mu_scenarios < SIZE(Scenarios)) { :(after "Test Runs") for (int i = 0; i < SIZE(Scenarios); ++i) { if (Scenarios.at(i).name == argv[argc-1]) { - if (Start_tracing) { + if (Save_trace) Trace_stream = new trace_stream; - Save_trace = true; - } run_mu_scenario(Scenarios.at(i)); if (Passed) cerr << ".\n"; return 0; |