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 587e9f88..5ec96e67 100644 --- a/020run.cc +++ b/020run.cc @@ -139,6 +139,7 @@ transform_all(); //: Step 2: load any .mu files provided at the commandline :(before "End Commandline Parsing") +// Check For .mu Files if (argc > 1) { // skip argv[0] argv++; |