Merge pull request #2952 from bgamari/master
cabal: Remove redundant ghc-options
commit80e707eeba7cabdf6ab16a3f1941ee880cec7404
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 7 Feb 2016, 23:09 (11 years ago)
parent2028acc2cc227b
idris.cabal−1
@@ -1010,7 +1010,6 @@ Library
10101010 , TemplateHaskell
10111011
10121012 ghc-prof-options: -auto-all -caf-all
1013− ghc-options: -threaded -rtsopts
10141013
10151014 if os(linux)
10161015 cpp-options: -DLINUX