diff options
author | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2018-05-01 04:25:57 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2018-05-01 04:25:57 +0300 |
commit | 76a4b086a6cd228f33f5cd736dae198f7b9fd14c (patch) | |
tree | 5c457d1ce9fe7ccafac14bff5b08391e8e4556b0 /build.xml | |
parent | a4f44121aa5c0d4804fb44ee5e88261496323cb9 (diff) |
Remove runkit dependency
Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ <property name="env.PHPUNIT_XML" value="phpunit.xml.dist"/> <property name="env.PHPUNIT_XML_NOCOVERAGE" value="phpunit.xml.nocoverage"/> <property name="env.PHPUNIT_XML_HHVM" value="phpunit.xml.hhvm"/> - <property name="env.PHPUNIT_ARGS" value="--exclude-group selenium,runkit"/> + <property name="env.PHPUNIT_ARGS" value="--exclude-group selenium"/> <target name="clean" description="Clean up and create artifact directories"> <delete dir="${basedir}/build/api"/> |