Improve performance

- Add caching
- Remove HTML report
This commit is contained in:
Philipp Holzer 2019-09-27 00:00:42 +02:00
commit cc215524da
No known key found for this signature in database
GPG key ID: D8365C3D36B77D90
2 changed files with 60 additions and 30 deletions

View file

@ -187,7 +187,7 @@ function execute_tests {
COVER=''
if [ -z "$NOCOVERAGE" ]; then
COVER="--coverage-clover tests/autotest-clover.xml --coverage-html tests/coverage-html"
COVER="--coverage-clover tests/autotest-clover.xml"
else
echo "No coverage"
fi