patch applied (ghc): +RTS -V0 disables the interval timer completely (for repeatable debugging)

Simon Marlow simonmar at microsoft.com
Wed Jun 27 11:02:20 EDT 2007


Wed Jun 27 02:29:41 PDT 2007  Simon Marlow <simonmar at microsoft.com>
  * +RTS -V0 disables the interval timer completely (for repeatable debugging)

    M ./rts/RtsFlags.c -1 +1
    M ./rts/Timer.c -1 +3



More information about the Cvs-ghc mailing list