diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:16:00 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:16:00 -0700 |
commit | 30277d2e370210b17099387abf03e75199340e98 (patch) | |
tree | c24f2819c4187f65c0ebda11780ee7e53d9dcc6a | |
parent | 4f10b93a6a910a2457ce5f2aa76ba13047136cca (diff) | |
download | mu-30277d2e370210b17099387abf03e75199340e98.tar.gz |
2315
-rw-r--r-- | 020run.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/020run.cc b/020run.cc index 4d1fb396..db82ec36 100644 --- a/020run.cc +++ b/020run.cc @@ -134,8 +134,8 @@ inline bool routine::completed() const { //: Step 1: load all .mu files with numeric prefixes (in order) :(before "End Load Recipes") -Trace_file = "interactive"; -START_TRACING_UNTIL_END_OF_SCOPE; +//? Trace_file = "interactive"; +//? START_TRACING_UNTIL_END_OF_SCOPE; load_permanently("core.mu"); transform_all(); |