X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=0bd1b04313c163f43e3b3f22a15fd6d411bb7b25;hb=5dfe6b1d583acc2dda0c0fd203f66c7c54a1131b;hp=790bf426c2d7d5befaf93b4b59df3f584579fffd;hpb=929d166932ee207871e66cc305059f356241c06b;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 790bf42..0bd1b04 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -324,9 +324,6 @@ usage_text[] = { " --install-signal-handlers=", " Install signal handlers (default: yes)", #if defined(THREADED_RTS) -" -e Size of spark pools (default 100)", -#endif -#if defined(THREADED_RTS) " -e Maximum number of outstanding local sparks (default: 4096)", #endif #if defined(x86_64_HOST_ARCH) @@ -418,7 +415,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) splitRtsFlags(ghc_rts, rts_argc, rts_argv); } else { - errorBelch("Warning: Ignoring GHCRTS variable"); + errorBelch("Warning: Ignoring GHCRTS variable as RTS options are disabled.\n Link with -rtsopts to enable them."); // We don't actually exit, just warn } } @@ -443,7 +440,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) mode = RTS; } else { - errorBelch("RTS options are disabled"); + errorBelch("RTS options are disabled. Link with -rtsopts to enable them."); stg_exit(EXIT_FAILURE); } }