diff options
| author | Yong He <yonghe@outlook.com> | 2023-05-10 14:10:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-10 14:10:53 -0700 |
| commit | 99bc31fdd6fd9a6cbce6afd5fa9b52fb47873f61 (patch) | |
| tree | ae6f8c301c771f5a27d1f775729a4fc759f1d804 /docs | |
| parent | c8e6a6452f4e531dca09152178bae2f9a2fb999a (diff) | |
Add slangc options for reporting downstream compile time. (#2878)
* Add slangc options for reporting downstream compile time.
* Update doc.
---------
Co-authored-by: Yong He <yhe@nvidia.com>
Diffstat (limited to 'docs')
| -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 7a16b380f..777d586d1 100644 --- a/docs/command-line-slangc-reference.md +++ b/docs/command-line-slangc-reference.md @@ -232,6 +232,11 @@ Dump to output list of warning diagnostic numeric and name ids. Treat the rest of the command line as input files. +<a id="report-downstream-time"></a> +## -report-downstream-time +Reports the time spent in the downstream compiler. + + <a id="Target"></a> # Target |