diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2007-07-08 19:44:23 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2007-07-08 19:44:23 +0000 |
| commit | f5605a5a2ea4a4707c9bec48048d730f0f56dae2 (patch) | |
| tree | 04f8bba097c31a3838716d4ec289f78bb0b39286 /rts/Makefile | |
| parent | 08f3834baf68671f1b9e61def2e4d5511fbe2c8d (diff) | |
| download | haskell-f5605a5a2ea4a4707c9bec48048d730f0f56dae2.tar.gz | |
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.
Diffstat (limited to 'rts/Makefile')
| -rw-r--r-- | rts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Makefile b/rts/Makefile index 2c5dcc4f4b..8d39ed012f 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -330,7 +330,7 @@ sm/Compact_HC_OPTS += -optc-finline-limit=2500 SRC_CC_OPTS += -fno-strict-aliasing # Cmm must be compiled via-C for now, because the NCG can't handle loops -SRC_HC_OPTS += -fvia-C +# SRC_HC_OPTS += -fvia-C # We *want* type-checking of hand-written cmm. SRC_HC_OPTS += -dcmm-lint |