1 /* -----------------------------------------------------------------------------
2 * $Id: FlagDefaults.c,v 1.2 1998/12/02 13:29:11 simonm Exp $
4 * User-overridable RTS hooks.
6 * ---------------------------------------------------------------------------*/
12 { /* this is called *after* RTSflags has had
13 its defaults set, but *before* we start
14 processing the RTS command-line options.
16 This default version does *nothing*.
17 The user may provide a more interesting