ghc/rts/hooks/FlagDefaults.c

   1 /* -----------------------------------------------------------------------------
   2  * $Id: FlagDefaults.c,v 1.2 1998/12/02 13:29:11 simonm Exp $
   3  *
   4  * User-overridable RTS hooks.
   5  *
   6  * ---------------------------------------------------------------------------*/
   7
   8 #include "Rts.h"
   9
  10 void
  11 defaultsHook (void)
  12 { /* this is called *after* RTSflags has had
  13      its defaults set, but *before* we start
  14      processing the RTS command-line options.
  15
  16      This default version does *nothing*.
  17      The user may provide a more interesting
  18      one.
  19   */
  20 }
  21