diff options
Diffstat (limited to 'Validator/build/travis/script.sh')
| -rw-r--r-- | Validator/build/travis/script.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Validator/build/travis/script.sh b/Validator/build/travis/script.sh deleted file mode 100644 index 1fd5f119..00000000 --- a/Validator/build/travis/script.sh +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/bash - -set -x - -originalDirectory=$(pwd) - -cd ../phase3/tests/phpunit - -if [ "$TYPE" == "coverage" ] -then - php phpunit.php --group Validator -c ../../extensions/Validator/phpunit.xml.dist --coverage-clover $originalDirectory/build/coverage.clover -else - php phpunit.php --group Validator -c ../../extensions/Validator/phpunit.xml.dist -fi
\ No newline at end of file |