Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
configure: fix --disable-code-coverage
This fixes the case when --disable-code-coverage supplied to ./configure would result in coverage="yes" being set. Closes #4099 Reviewed-by: Daniel Gustafsson <daniel@yesql.se>
- Loading branch information