1 /* -----------------------------------------------------------------------------
2 * $Id: RtsOpts.c,v 1.1 2001/10/01 11:36:29 simonmar Exp $
6 * ---------------------------------------------------------------------------*/
10 // Default RTS options can be given by providing an alternate
11 // definition for this variable, pointing to a string of RTS options.
12 char *ghc_rts_opts = NULL;