X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=8f1b700876cfb7ecdfa061ced683cbadbc7f87c6;hb=dffddba53a656bf59f2463edc845ca1af9fa133e;hp=639a915bcf947c3501d065869d7192e5e1e350d6;hpb=41fea58220e763fcd55830a11a37ff44f21e4358;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 639a915..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", @@ -682,6 +683,11 @@ error = rtsTrue; &rts_argv[arg][2])) { RtsFlags.MiscFlags.install_signal_handlers = rtsFalse; } + else if (strequal("info", + &rts_argv[arg][2])) { + printRtsInfo(); + exit(0); + } else { errorBelch("unknown RTS option: %s",rts_argv[arg]); error = rtsTrue;