diff options
| author | Daniel Rudolf <github.com@daniel-rudolf.de> | 2021-08-05 17:42:32 +0300 |
|---|---|---|
| committer | Daniel Rudolf <github.com@daniel-rudolf.de> | 2021-08-05 17:42:32 +0300 |
| commit | b3206de7361c3fffaba971cfd87b8859d2d8722b (patch) | |
| tree | 28a2bddb5e2d566e96c67731286b8d0b8769ec52 /autotest.sh | |
| parent | fc4e1d3c42f80798115775645d8dd40696ac6acc (diff) | |
autotest.sh: Add PHPUNIT_EXE environment variable
Signed-off-by: Daniel Rudolf <github.com@daniel-rudolf.de>
Diffstat (limited to 'autotest.sh')
| -rwxr-xr-x | autotest.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/autotest.sh b/autotest.sh index cf166a79186..ed66c7b2260 100755 --- a/autotest.sh +++ b/autotest.sh @@ -29,7 +29,10 @@ if [ -z "$PHP_EXE" ]; then PHP_EXE=php fi PHP=$(which "$PHP_EXE") -PHPUNIT=$(which phpunit) +if [ -z "$PHPUNIT_EXE" ]; then + PHPUNIT_EXE=phpunit +fi +PHPUNIT=$(which "$PHPUNIT_EXE") set -e |