X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=e8aefd8fcea57eb26072a0c33ba92c929505b515;hb=0b9530245a33b8206ca38b9de6dfb01e056fd8dc;hp=639a915bcf947c3501d065869d7192e5e1e350d6;hpb=41fea58220e763fcd55830a11a37ff44f21e4358;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 639a915..e8aefd8 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -682,6 +682,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;