diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:15:03 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:15:03 -0700 |
commit | 4f10b93a6a910a2457ce5f2aa76ba13047136cca (patch) | |
tree | 7139461275398bd907bfa2788138f0ba95b7f839 /020run.cc | |
parent | cdd6fd09673faa6ed72d1b7f52333c12100df049 (diff) | |
download | mu-4f10b93a6a910a2457ce5f2aa76ba13047136cca.tar.gz |
2314 - final tweaks to trace
I checked these commands: $ mu x.mu $ grep "===" .traces/interactive $ grep "===\|---" .traces/interactive
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(); } |