remote ghc-option -O because Cabal does it
This commit is contained in:
parent
c99cb54251
commit
dad5134863
2 changed files with 1 additions and 2 deletions
1
doc/TODO
1
doc/TODO
|
@ -10,7 +10,6 @@ Bson
|
||||||
|
|
||||||
MongoDB
|
MongoDB
|
||||||
-------
|
-------
|
||||||
+ Support the new query flag: https://jira.mongodb.org/browse/SERVER-2020
|
|
||||||
+ When one connection in a pool fails, close all other since they will likely fail too
|
+ When one connection in a pool fails, close all other since they will likely fail too
|
||||||
+ on insert/update: reject keys that start with "$" or "."
|
+ on insert/update: reject keys that start with "$" or "."
|
||||||
+ dereference dbref
|
+ dereference dbref
|
||||||
|
|
|
@ -60,7 +60,7 @@ hs-source-dirs: .
|
||||||
other-modules:
|
other-modules:
|
||||||
ghc-prof-options: -auto-all
|
ghc-prof-options: -auto-all
|
||||||
ghc-shared-options:
|
ghc-shared-options:
|
||||||
ghc-options: -Wall -O2
|
ghc-options: -Wall
|
||||||
hugs-options:
|
hugs-options:
|
||||||
nhc98-options:
|
nhc98-options:
|
||||||
jhc-options:
|
jhc-options:
|
Loading…
Reference in a new issue