Add a link-time flag to en/disable the RTS options

[ghc-hetmet.git] / rts / hooks / RtsOptsEnabled.c

diff --git a/rts/hooks/RtsOptsEnabled.c b/rts/hooks/RtsOptsEnabled.c
new file mode 100644 (file)
index 0000000..d7d6cb5
--- /dev/null
+++ b/rts/hooks/RtsOptsEnabled.c
@@ -0,0 +1,13 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team 2010
+ *
+ * En/disable RTS options
+ *
+ * ---------------------------------------------------------------------------*/
+
+#include "Rts.h"
+#include "RtsOpts.h"
+
+const rtsBool rtsOptsEnabled = rtsFalse;
+