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 42b11fc2..fad6a5b0 100644 --- a/020run.cc +++ b/020run.cc @@ -155,6 +155,7 @@ if (argc > 1) { transform_all(); //? dump_recipe("handle-keyboard-event"), exit(0); if (Run_tests) Recipe.erase(get(Recipe_ordinal, string("main"))); + // End Loading .mu Files } //: Step 3: if we aren't running tests, locate a recipe called 'main' and |