git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3804 from melted/fix_idle

Do not run idle GCs

commitfcbabc28343ca9fa159f6d7db3fc7bd20ca45dc9 authorNiklas Larsson <metaniklas@gmail.com> dateSun 7 May 2017, 15:40 (9 years ago) parented5c125e57e259
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -359,7 +359,7 @@ Executable idris
359359 , transformers
360360
361361 ghc-prof-options: -auto-all -caf-all
362− ghc-options: -threaded -rtsopts -funbox-strict-fields
362+ ghc-options: -threaded -rtsopts -funbox-strict-fields -with-rtsopts=-I0
363363
364364Test-suite regression-and-feature-tests
365365 Type: exitcode-stdio-1.0