Changes between Version 4 and Version 5 of Commentary/Rts/Config

Timestamp:

12/04/09 02:17:37 (3 years ago)

Author:

simonmar

Comment:

--

Commentary/Rts/Config

@@ -21 +21 @@
   GHC option: {{{-debug}}}[[br]]
   RTS suffix: {{{debug}}}
+
+ {{{TRACING}}}::
+  Enables RTS tracing and event logging, see [[GhcFile(rts/Trace.c)]].  Implied by `DEBUG`.[[br]]
+  GHC option: {{{-eventlog}}}[[br]]
+  RTS suffix: {{{l}}}
 
  {{{NO_REGS}}}, {{{USE_MINIINTERPRETER}}}::