Make -rtsopts more flexible

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

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