X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=f8c8403328eeffccddb95c4592d68ab85b8584d3;hb=d5a9ee0e98a76bca1b41bbc5252e851c88b3ff4c;hp=1e8654ddd8ae9a034f6da5b003d4fe8a622b3a85;hpb=da6ac258d7d8a8b0e03423833cdc78c57d3d39f4;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 1e8654d..f8c8403 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 { @@ -1121,6 +1117,12 @@ error = rtsTrue; errorBelch("bad value for -N"); error = rtsTrue; } +#if defined(PROFILING) + if (RtsFlags.ParFlags.nNodes > 1) { + errorBelch("bad option %s: only -N1 is supported with profiling", rts_argv[arg]); + error = rtsTrue; + } +#endif } ) break;