Closed geo2a closed 1 year ago
This PR modifies disables --coverage by default and allows building with coverage support only if BUILD_WITH_COVERAGE environment variable is set.
--coverage
BUILD_WITH_COVERAGE
This PR modifies disables
--coverage
by default and allows building with coverage support only ifBUILD_WITH_COVERAGE
environment variable is set.