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

[ghc-hetmet.git] / rts / RtsOpts.h

diff --git a/rts/RtsOpts.h b/rts/RtsOpts.h
new file mode 100644 (file)
index 0000000..381ee0e
--- /dev/null
+++ b/rts/RtsOpts.h
@@ -0,0 +1,14 @@
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team, 2010
+ *
+ * En/disable RTS options
+ *
+ * ---------------------------------------------------------------------------*/
+
+#ifndef RTSOPTS_H
+#define RTSOPTS_H
+
+extern const rtsBool rtsOptsEnabled;
+
+#endif /* RTSOPTS_H */