diff options
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc index 90147e67..6481adb0 100644 --- a/020run.cc +++ b/020run.cc @@ -138,6 +138,8 @@ inline bool routine::completed() const { //? START_TRACING_UNTIL_END_OF_SCOPE; load_permanently("core.mu"); transform_all(); +//? DUMP(""); +//? exit(0); //: Step 2: load any .mu files provided at the commandline :(before "End Commandline Parsing") |