align coverage.xml file name

AmpedRadio · Oct 3, 2019 · e1f3c7a · e1f3c7a
1 parent d15ee0e
commit e1f3c7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
@@ -16,6 +16,6 @@
  </whitelist>
  </filter>
  <logging>
- <log type="coverage-clover" target="clover.xml"/>
+ <log type="coverage-clover" target="coverage.xml"/>
  </logging>
 </phpunit>