diff --git a/bin/dev/setup-phpunit.sh b/bin/dev/setup-phpunit.sh deleted file mode 100755 index b3884d3b7b..0000000000 --- a/bin/dev/setup-phpunit.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash - -PHPUNIT="$(git rev-parse --show-toplevel)/bin/phpunit" - -if ! [ -x "$PHPUNIT" ]; then - echo "Install PHPUnit 8" - cd /tmp/ - curl -s -O -L https://phar.phpunit.de/phpunit-8.phar - chmod +x phpunit-8.phar - mv phpunit-8.phar $PHPUNIT -fi - -echo "Using $PHPUNIT $($PHPUNIT --version)"