#368: The "optimization" option in ~/.cabal/config does not work
---------------------------------+------------------------------------------
Reporter: guest | Owner:
Type: defect | Status: closed
Priority: normal | Milestone: cabal-install-0.14
Component: cabal-install tool | Version: 1.4.0.1
Severity: minor | Resolution: fixed
Keywords: | Difficulty: normal
Ghcversion: 6.8.2 | Platform: Linux
---------------------------------+------------------------------------------
Changes (by kosmikus):
* status: new => closed
* resolution: => fixed
Comment:
This should be fixed in cabal-install-0.14, although it is a hack:
{{{
Mon Apr 16 14:29:03 CEST 2012 Andres Loeh