Document --info in the +RTS -? help
authorIan Lynagh <igloo@earth.li>
Fri, 23 Nov 2007 20:43:52 +0000 (20:43 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 23 Nov 2007 20:43:52 +0000 (20:43 +0000)
rts/RtsFlags.c

index e8aefd8..8f1b700 100644 (file)
@@ -336,6 +336,7 @@ usage_text[] = {
 "The following run time system options are available:",
 "",
 "  -?       Prints this message and exits; the program is not executed",
+"  --info   Print information about the RTS used by this program",
 "",
 "  -K<size> Sets the maximum stack size (default 8M)  Egs: -K32k   -K512k",
 "  -k<size> Sets the initial thread stack size (default 1k)  Egs: -k4k   -k2m",