Merge pull request #4967 from dalaing/cabal-4551
commit6dbd869f84ac12f6d1b4bd5f4d7ba68cc4c8b836
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Fri, 22 Dec 2017 08:08:12 +0000 (22 09:08 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Dec 2017 08:08:12 +0000 (22 09:08 +0100)
tree88b56c299298f93e1c94406d7577d6de314188c8
parent9390111d3adbc4467a593d4ca22c38b32e405f33
parentb2b31c25e5e75f55ad82e93333824dcb94c6e0b8
Merge pull request #4967 from dalaing/cabal-4551

Changes to `cabal check` for `-O0` with tests or benchmarks.