rts/hooks/FlagDefaults.c

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