projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
adf339b
)
When saying RTS options are disabled, also say how to enable them
2010-03-16
author
Ian Lynagh
<igloo@earth.li>
Mon, 15 Mar 2010 17:35:41 +0000
(17:35 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Mon, 15 Mar 2010 17:35:41 +0000
(17:35 +0000)
rts/RtsFlags.c
patch
|
blob
|
history
diff --git
a/rts/RtsFlags.c
b/rts/RtsFlags.c
index
790bf42
..
93482f5
100644
(file)
--- 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 {
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
}
}
// 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 {
mode = RTS;
}
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);
}
}