From: Ian Lynagh <igloo@earth.li>
Date: Mon, 15 Mar 2010 17:35:41 +0000 (+0000)
Subject: When saying RTS options are disabled, also say how to enable them
X-Git-Tag: 2010-03-16^0
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ef4372dc0ad6232dd36a91c0f4f043de6231aa74

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

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 790bf42..93482f5 100644
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -418,7 +418,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 +443,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);
             }
 	}