X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=8f1b700876cfb7ecdfa061ced683cbadbc7f87c6;hb=98c68a1c5b63aadf9c7917274519d95bbe9394d4;hp=1e8654ddd8ae9a034f6da5b003d4fe8a622b3a85;hpb=da6ac258d7d8a8b0e03423833cdc78c57d3d39f4;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 1e8654d..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", @@ -684,12 +685,7 @@ error = rtsTrue; } else if (strequal("info", &rts_argv[arg][2])) { - printf("RTS info:\n"); - printf("RTS from GHC " ProjectVersion "\n"); - printf("RTS way " RtsWay "\n"); - printf("Host platform " HostPlatform "\n"); - printf("Build platform " BuildPlatform "\n"); - printf("Target platform " TargetPlatform "\n"); + printRtsInfo(); exit(0); } else {