Ticket #200 (new enhancement)
Opened 1 year ago
Last modified 4 months ago
Allow more convenient use of ghc profiling options -auto and -auto-all
| Reported by: | guest | Assigned to: | |
|---|---|---|---|
| Priority: | normal | Milestone: | Cabal-1.6 |
| Component: | Cabal library | Version: | |
| Severity: | normal | Keywords: | |
| Cc: | bos | Difficulty: | easy (<4 hours) |
| GHC Version: | 6.8.2 | Platform: | |
