diff options
| author | hallgren <hallgren@chalmers.se> | 2015-03-05 15:30:41 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-03-05 15:30:41 +0000 |
| commit | 4e4d2a77e1a2c2da9696ebb49a3e3c83da49b5bb (patch) | |
| tree | 5d1cad1cd69daabecf7976d0b3e78f9265353131 | |
| parent | 023857961036e6165bae1298c24f13bcc493de75 (diff) | |
gf.cabal: increase idle time before full GC to 5 seconds
The builtin GHC RTS default is 0.3 seconds, which results in very bad
interactive behaviour when working with a large grammar in the GF shell.
| -rw-r--r-- | gf.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -318,7 +318,7 @@ Executable gf ghc-options: -threaded -fwarn-unused-imports if impl(ghc>=7.0) - ghc-options: -rtsopts + ghc-options: -rtsopts -with-rtsopts=-I5 if impl(ghc<7.8) ghc-options: -with-rtsopts=-K64M |