From ef4372dc0ad6232dd36a91c0f4f043de6231aa74 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Mon, 15 Mar 2010 17:35:41 +0000 Subject: [PATCH] When saying RTS options are disabled, also say how to enable them --- rts/RtsFlags.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); } } -- 1.7.10.4