blob: b934b05f1b72f2164dc85d18f98360a604f4c458 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* -----------------------------------------------------------------------------
*
* Default RTS options.
*
* ---------------------------------------------------------------------------*/
#include "Rts.h"
#include <stdlib.h>
// Default RTS options can be given by providing an alternate
// definition for this variable, pointing to a string of RTS options.
char *ghc_rts_opts = NULL;
|
