diff options
| author | Radek Doulik <radekdoulik@users.noreply.github.com> | 2019-03-28 17:54:36 +0300 |
|---|---|---|
| committer | Zoltan Varga <vargaz@gmail.com> | 2019-03-28 17:54:36 +0300 |
| commit | 4cf13bcd16b48b0e8b7eed99042e3746cdb1080a (patch) | |
| tree | e475d5afc73b44a671794e98c5607dc041dfbe9c /man | |
| parent | c6b066a7ab76857ecee9c5b2e34f0e421d7cf44e (diff) | |
[profiler] Add duration=NUM parameter to AOT profiler (#13688)
* [profiler] Add duration=NUM parameter to AOT profiler
It instructs the AOT profiler to write the data after NUM seconds
measured from runtime initialization.
* [profilers] Added aot:duration=NUM parameter description
Diffstat (limited to 'man')
| -rw-r--r-- | man/mono-profilers.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/mono-profilers.1 b/man/mono-profilers.1 index 8ce00dade9a..169d3ddb190 100644 --- a/man/mono-profilers.1 +++ b/man/mono-profilers.1 @@ -335,6 +335,9 @@ format. .SS Options The AOT profiler supports the following options: .TP +\fBduration\fR=\fInum\fR +Profile only NUM seconds of runtime and then write the data. +.TP \fBhelp\fR Print usage instructions. .TP |