mirror of
https://github.com/resources-manager/resources-manager-webui.git
synced 2024-12-22 11:34:00 +01:00
14 lines
426 B
Plaintext
14 lines
426 B
Plaintext
|
#!/usr/bin/env php
|
||
|
|
<?php
|
||
|
|
|
||
|
|
if (!file_exists(dirname(__DIR__).'/vendor/symfony/phpunit-bridge/bin/simple-phpunit.php')) {
|
||
|
|
echo "Unable to find the `simple-phpunit.php` script in `vendor/symfony/phpunit-bridge/bin/`.\n";
|
||
|
|
exit(1);
|
||
|
|
}
|
||
|
|
|
||
|
|
if (false === getenv('SYMFONY_PHPUNIT_DIR')) {
|
||
|
|
putenv('SYMFONY_PHPUNIT_DIR='.__DIR__.'/.phpunit');
|
||
|
|
}
|
||
|
|
|
||
|
|
require dirname(__DIR__).'/vendor/symfony/phpunit-bridge/bin/simple-phpunit.php';
|