diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:05:22 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:05:22 -0700 |
commit | 838b1afce9a957218401a8a4f0d8316c9f06182f (patch) | |
tree | 8ee5856a6693fd6cffbdd97dd156f5240b14cd30 /020run.cc | |
parent | 7e8d0ba8fb613af6ab0f16bcb9a5667cadb02da6 (diff) | |
download | mu-838b1afce9a957218401a8a4f0d8316c9f06182f.tar.gz |
3630 - generate trace for a single scenario
To do so, run: $ ./mu --trace test <scenario name> The trace will then be in file 'interactive'.
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/020run.cc b/020run.cc index 8675e4c5..3d0935f4 100644 --- a/020run.cc +++ b/020run.cc @@ -187,7 +187,7 @@ if (!Run_tests && contains_key(Recipe_ordinal, "main") && contains_key(Recipe, g // Running Main setup(); //? Save_trace = true; - if (Trace_main) Trace_stream = new trace_stream; + if (Start_tracing) Trace_stream = new trace_stream; trace(9990, "run") << "=== Starting to run" << end(); assert(Num_calls_to_transform_all == 1); run_main(argc, argv); @@ -202,10 +202,10 @@ void run_main(int argc, char* argv[]) { //: By default we don't maintain the trace while running main because its //: overheads can grow rapidly. However, it's useful when debugging. :(before "End Globals") -bool Trace_main = false; +bool Start_tracing = false; :(before "End Commandline Options(*arg)") else if (is_equal(*arg, "--trace")) { - Trace_main = true; + Start_tracing = true; } :(code) |