1 /* -----------------------------------------------------------------------------
2 * $Id: RtsOpts.c,v 1.2 2002/07/17 09:21:51 simonmar Exp $
6 * ---------------------------------------------------------------------------*/
12 // Default RTS options can be given by providing an alternate
13 // definition for this variable, pointing to a string of RTS options.
14 char *ghc_rts_opts = NULL;