From ef4372dc0ad6232dd36a91c0f4f043de6231aa74 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
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 790bf426c2d..93482f50b43 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);
}
}
--
GitLab