diff options
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc index b05836a4..4d1fb396 100644 --- a/020run.cc +++ b/020run.cc @@ -164,6 +164,7 @@ if (!Run_tests) { setup(); //? Trace_file = "interactive"; //? START_TRACING_UNTIL_END_OF_SCOPE; + trace(9990, "run") << "=== Starting to run" << end(); run_main(argc, argv); teardown(); } |