Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It hasn't run for a while and things have changed. It's no longer -Zinstrument-coverage but -Cinstrument-coverage.
- Loading branch information