diff options
author | Miguel de Icaza <miguel@gnome.org> | 2006-03-25 05:57:04 +0300 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2006-03-25 05:57:04 +0300 |
commit | ccb5e3dfd7b49e2ea6faa6f7f438f5d5ae1d1669 (patch) | |
tree | 93789731d500fe434e6970a261451e54da27a954 /man | |
parent | 7d0cc820e7caacd15e61e0ebc50ae72b491257a8 (diff) |
Para
svn path=/trunk/mono/; revision=58514
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/mono.1 b/man/mono.1 index bac314961a7..6b65779c42f 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -279,7 +279,9 @@ The default profiler accepts the following options 'alloc' to profile memory consumption by the application; 'time' to profile the time spent on each routine; 'jit' to collect time spent JIT-compiling methods and 'stat' to perform sample statistical profiling. -If no options are provided the default is 'alloc,time,jit'. By default the +If no options are provided the default is 'alloc,time,jit'. +.PP +By default the profile data is printed to stdout: to change this, use the 'file=filename' option to output the data to filename. .Sp |