diff options
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 07526235..b04fa90a 100644 --- a/020run.cc +++ b/020run.cc @@ -156,9 +156,9 @@ if (argc > 1) { :(before "End Main") if (!Run_tests) { setup(); -//? Trace_file = "interactive"; //? 2 -//? START_TRACING_UNTIL_END_OF_SCOPE; //? 2 -//? Trace_stream->collect_layer.insert("app"); //? 1 +//? Trace_file = "interactive"; //? 3 +//? START_TRACING_UNTIL_END_OF_SCOPE; //? 3 +//? Trace_stream->collect_layers.insert("app"); //? 2 transform_all(); recipe_ordinal r = Recipe_ordinal[string("main")]; //? atexit(dump_profile); //? 1 |