diff options
Diffstat (limited to 'html/020run.cc.html')
| -rw-r--r-- | html/020run.cc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/html/020run.cc.html b/html/020run.cc.html index f4aa1652..cd31ef09 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -198,6 +198,7 @@ load_file_or_directory<span class="Delimiter">(</span><span class="Constant">&qu <span class="Delimiter">:(before "End Commandline Parsing")</span> <span class="Comment">// Check For .mu Files</span> <span class="CommentedCode">//? START_TRACING_UNTIL_END_OF_SCOPE</span> +<span class="CommentedCode">//? Dump_trace = true;</span> <span class="Normal">if</span> <span class="Delimiter">(</span>argc > <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span class="Comment">// skip argv[0]</span> ++argv<span class="Delimiter">;</span> |