From 0ae9def5467575d622e85e472858c10248a2b7b6 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 23 Nov 2007 20:43:52 +0000 Subject: [PATCH] Document --info in the +RTS -? help --- rts/RtsFlags.c | 1 + 1 file changed, 1 insertion(+) diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index e8aefd8..8f1b700 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -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 Sets the maximum stack size (default 8M) Egs: -K32k -K512k", " -k Sets the initial thread stack size (default 1k) Egs: -k4k -k2m", -- 1.7.10.4