From d959c07e257df3dee4363f370a07bfc34d6f38d1 Mon Sep 17 00:00:00 2001 From: Art4 Date: Wed, 6 Nov 2024 22:02:44 +0000 Subject: [PATCH] remove bin/dev/setup-phpunit.sh --- bin/dev/setup-phpunit.sh | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 bin/dev/setup-phpunit.sh 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)"