diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-19 00:56:55 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-19 00:56:55 -0700 |
| commit | db50f43a79f91b2f984ddae0c05100dafb9fde05 (patch) | |
| tree | f6693601bd5ec6cdd296324c452f46dfa4051a1b /020run.cc | |
| parent | 968866f7ac183811e449b11da9b2a2f1b0d97227 (diff) | |
| download | mu-db50f43a79f91b2f984ddae0c05100dafb9fde05.tar.gz | |
2792
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 81ff91ad..b4810909 100644 --- a/020run.cc +++ b/020run.cc @@ -144,6 +144,7 @@ transform_all(); //: Step 2: load any .mu files provided at the commandline :(before "End Commandline Parsing") // Check For .mu Files +//? START_TRACING_UNTIL_END_OF_SCOPE if (argc > 1) { // skip argv[0] argv++; |