run threaded by default

master 0.5.0
Michele Guerini Rocco 2019-11-07 11:05:00 +01:00
parent 2c5ec3e9f6
commit 6bcaff8b3a
Signed by: rnhmjoj
GPG Key ID: BFBAF4C975F76450
1 changed files with 1 additions and 1 deletions

View File

@ -40,4 +40,4 @@ executable breve
mtl, text, aeson, bytestring, binary,
hashtables, cryptohash, random,
configurator, directory
ghc-options: -threaded -O2
ghc-options: -threaded -O2 "-with-rtsopts=-N -qg"