Commit ddf8b805 authored by Simon Marlow's avatar Simon Marlow
Browse files

document -V in the +RTS --help outpout

parent d16986ac
...@@ -394,9 +394,12 @@ usage_text[] = { ...@@ -394,9 +394,12 @@ usage_text[] = {
" -N<n> Use <n> PVMish processors in parallel (default: 2)", " -N<n> Use <n> PVMish processors in parallel (default: 2)",
/* NB: the -N<n> is implemented by the driver!! */ /* NB: the -N<n> is implemented by the driver!! */
#endif #endif
" -C<secs> Context-switch interval in seconds", " -C<secs> Context-switch interval in seconds.",
" (0 or no argument means switch as often as possible)", " 0 or no argument means switch as often as possible.",
" the default is .02 sec; resolution is .02 sec", " 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)", " -vs Trace scheduler events (see also -Ds with -debug)",
" -vt Time-stamp trace messages", " -vt Time-stamp trace messages",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment