using phpunit command in order to get the arguments for coverage properly executed

diff --git a/autotest.cmd b/autotest.cmd
index a511faef9c603b81cb3980900fff70e82d5053a6..e3c5b2e70da8296f8e0ecd4c460cccb4e1c7cb74 100644 (file)
--- a/autotest.cmd
+++ b/autotest.cmd
@@ -119,7 +119,7 @@ goto:eof
        md coverage-html-%~1
        php -f enable_all.php
 
-       php win32-phpunit.php --bootstrap bootstrap.php --configuration phpunit-autotest.xml --log-junit autotest-results-%~1.xml --coverage-clover autotest-clover-%~1.xml --coverage-html coverage-html-%~1
+       phpunit --bootstrap bootstrap.php --configuration phpunit-autotest.xml --log-junit autotest-results-%~1.xml --coverage-clover autotest-clover-%~1.xml --coverage-html coverage-html-%~1
        echo "Done with testing %~1 ..."
        cd %BASEDIR%
 goto:eof