diff options
author | Miguel de Icaza <miguel@gnome.org> | 2003-09-14 00:55:29 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2003-09-14 00:55:29 +0400 |
commit | c9c61cc275e0db36e9220a5f2aecba373bd214a1 (patch) | |
tree | b676577bace9476254b5c3894fa4e7978345e55d /man | |
parent | 9a98713268e5ed97e72df5e495661b8eeedb1a70 (diff) |
:flush:
svn path=/trunk/mono/; revision=18067
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/man/mono.1 b/man/mono.1 index 8989518cdce..8f172273d23 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -115,8 +115,9 @@ Instructs the runtime to collect profiling information about execution times and memory allocation, and dump it at the end of the execution. If a profiler is not specified, the default profiler is used. profiler_args is a profiler-specific string of options for the profiler itself. - - +.PP +The default profiler accepts -time and -alloc to options to disable +the time profiling or the memory allocation profilng. .SH JIT MAINTAINER OPTIONS The maintainer options are only used by those developing the runtime itself, and not typically of interest to runtime users or developers. |