1 /* -----------------------------------------------------------------------------
5 * ---------------------------------------------------------------------------*/
11 // Default RTS options can be given by providing an alternate
12 // definition for this variable, pointing to a string of RTS options.
13 char *ghc_rts_opts = NULL;