diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2006-09-07 08:44:45 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2006-09-07 08:44:45 +0000 |
| commit | ddf8b805caafdfb5e3bbc3356aaed66af6f0b5e9 (patch) | |
| tree | 80364bcb76d0230b34c390f82a61d1c5fcd81615 /rts/RtsFlags.c | |
| parent | d16986ac581b30084b3ba44cd918270da65d4cef (diff) | |
| download | haskell-ddf8b805caafdfb5e3bbc3356aaed66af6f0b5e9.tar.gz | |
document -V in the +RTS --help outpout
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 898acac344..e439afe00c 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -394,9 +394,12 @@ usage_text[] = { " -N<n> Use <n> PVMish processors in parallel (default: 2)", /* NB: the -N<n> is implemented by the driver!! */ #endif -" -C<secs> Context-switch interval in seconds", -" (0 or no argument means switch as often as possible)", -" the default is .02 sec; resolution is .02 sec", +" -C<secs> Context-switch interval in seconds.", +" 0 or no argument means switch as often as possible.", +" Default: 0.02 sec; resolution is set by -V below.", +" -V<secs> Master tick interval in seconds.", +" This sets the resolution for -C and the profile timer -i.", +" Default: 0.02 sec.", "", " -vs Trace scheduler events (see also -Ds with -debug)", " -vt Time-stamp trace messages", |