Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.

[ghc-hetmet.git] / rts / Makefile

diff --git a/rts/Makefile b/rts/Makefile
index 2c5dcc4..8d39ed0 100644 (file)
--- 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