There was an error while loading. Please reload this page.
1 parent 4ad586b commit 2c2ebfaCopy full SHA for 2c2ebfa
1 file changed
rts/rts.cabal
@@ -673,7 +673,7 @@ common rts-debug-flags
673
common rts-threaded-flags
674
ghc-options: -DTHREADED_RTS -optc-DTHREADED_RTS
675
cpp-options: -DTHREADED_RTS
676
- cmm-options: -DTHREADED_RTS
+ cmm-options: -DTHREADED_RTS -optc-DTHREADED_RTS
677
cc-options: -DTHREADED_RTS
678
679
-- the _main_ library needs to deal with all the _configure_ time stuff.
0 commit comments