allow coverage-* options in phpunit
[tine20] / tests / tine20 / TestServer.php
index 139cde0..ca540f5 100644 (file)
@@ -195,6 +195,7 @@ class TestServer
             '/--filter [\S]+\D/',
             '/--configuration [\S]+\D/',
             '/--exclude-group [\S]+\D/',
+            '/--coverage-[\S]+ [\S]+\D/',
             '/-c [\S]+\D/',
             '/--log-junit [\S]+\D/'
         ), array(