blob: d7d6cb595f226ed37bef81214aab168781a5f69d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team 2010
*
* En/disable RTS options
*
* ---------------------------------------------------------------------------*/
#include "Rts.h"
#include "RtsOpts.h"
const rtsBool rtsOptsEnabled = rtsFalse;
|
