Commit ef4372dc authored by Ian Lynagh's avatar Ian Lynagh

When saying RTS options are disabled, also say how to enable them

parent adf339b2
...@@ -418,7 +418,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) ...@@ -418,7 +418,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[])
splitRtsFlags(ghc_rts, rts_argc, rts_argv); splitRtsFlags(ghc_rts, rts_argc, rts_argv);
} }
else { 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 // We don't actually exit, just warn
} }
} }
...@@ -443,7 +443,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[]) ...@@ -443,7 +443,7 @@ setupRtsFlags(int *argc, char *argv[], int *rts_argc, char *rts_argv[])
mode = RTS; mode = RTS;
} }
else { else {
errorBelch("RTS options are disabled"); errorBelch("RTS options are disabled. Link with -rtsopts to enable them.");
stg_exit(EXIT_FAILURE); stg_exit(EXIT_FAILURE);
} }
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment