mirror of
https://github.com/curl/curl.git
synced 2025-03-19 15:40:42 +08:00
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>