about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-07-25 21:51:18 -0700
committerKartik Agaram <vc@akkartik.com>2018-07-26 09:03:13 -0700
commitd44d413216fae85343bfb53327b2f1a2c13d7faa (patch)
tree11174eb6bbcbda9442dd435fbe52576e4837d4a7
parente125cdd83970c670649aa58ba824c1c38c1126e3 (diff)
downloadmu-d44d413216fae85343bfb53327b2f1a2c13d7faa.tar.gz
4416 - start collecting traces in runs
To see traces on stdout, set the global `Dump_trace` to true.

Thanks Max Bernstein for the feedback.
-rw-r--r--subx/021translate.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/subx/021translate.cc b/subx/021translate.cc
index bae946ec..e7c25cbb 100644
--- a/subx/021translate.cc
+++ b/subx/021translate.cc
@@ -21,6 +21,7 @@
 
 :(before "End Main")
 if (is_equal(argv[1], "translate")) {
+  START_TRACING_UNTIL_END_OF_SCOPE;
   assert(argc > 3);
   program p;
   ifstream fin(argv[2]);