diff options
| author | Simon Hengel <sol@typeful.net> | 2012-10-15 19:48:23 +0200 |
|---|---|---|
| committer | Simon Hengel <sol@typeful.net> | 2012-10-15 19:53:40 +0200 |
| commit | fbaa58ba1c62e3087f3fdb3c1c295d1d797d62ec (patch) | |
| tree | a30c3ae362fff048ca9c1ae572399d4948b27caf /.gitignore | |
| parent | 3c5efc1361484f55d9e40b6be4618b2ff8aded26 (diff) | |
Add 'dev' flag to cabal file, that builds without -O2
That way --disable-optimization can be used, which decreases build time
considerably.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions