Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical
commit496954a72f6e03f62122fb6031e62b715807a309
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 27 May 2015, 11:16 (11 years ago)
parent8a07216473d7c2
idris.cabal+1−1
@@ -914,7 +914,7 @@ Library
914914 , TemplateHaskell
915915
916916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts -O2
917+ ghc-options: -threaded -rtsopts -O1
918918
919919 if os(linux)
920920 cpp-options: -DLINUX