Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
authorSimon Marlow <simonmar@microsoft.com>
Sun, 8 Jul 2007 19:44:23 +0000 (19:44 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Sun, 8 Jul 2007 19:44:23 +0000 (19:44 +0000)
commitf5605a5a2ea4a4707c9bec48048d730f0f56dae2
tree04f8bba097c31a3838716d4ec289f78bb0b39286
parent08f3834baf68671f1b9e61def2e4d5511fbe2c8d
Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
Also, I documented it.  +RTS -V0 disables the internal RTS timer
completely, which is useful for repeatable debugginng.
docs/users_guide/runtime_control.xml
rts/Makefile
rts/RtsFlags.c
rts/Timer.c