Merge branch 'feature/proper-php-coverage-4313'

fixes #4313
2013-07-09 15:03:53 +02:00 · 2013-07-09 15:03:53 +02:00 · 5ad4876386
parent a25853203e 9f745505ce
commit 5ad4876386
1 changed files with 2 additions and 2 deletions
--- a/test/php/runtests
+++ b/test/php/runtests
@ -108,9 +108,9 @@ def main():
            command_options.append('--log-junit')
            command_options.append(os.path.join(report_directory,
                                                'phpunit_results.xml'))
-            command_options.append('--coverage-clover')
+            command_options.append('--coverage-html')
            command_options.append(os.path.join(report_directory,
-                                                'phpunit_coverage.xml'))
+                                                'php_html_coverage'))
        if options.include:
            command_options.append('--filter')
            command_options.append(options.include)