diff options
Diffstat (limited to 'docs/command-line-slangc-reference.md')
| -rw-r--r-- | docs/command-line-slangc-reference.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/command-line-slangc-reference.md b/docs/command-line-slangc-reference.md index 16d5b52a2..3fcd7a68c 100644 --- a/docs/command-line-slangc-reference.md +++ b/docs/command-line-slangc-reference.md @@ -238,6 +238,11 @@ Treat the rest of the command line as input files. Reports the time spent in the downstream compiler. +<a id="report-perf-benchmark"></a> +## -report-perf-benchmark +Reports compiler performance benchmark results. + + <a id="source-embed-style-1"></a> ## -source-embed-style |