rts/hooks/FlagDefaults.c

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * User-overridable RTS hooks.
   4  *
   5  * ---------------------------------------------------------------------------*/
   6
   7 #include "PosixSource.h"
   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