diff --git a/admin/tool/phpunit/cli/init.bat b/admin/tool/phpunit/cli/init.bat new file mode 100644 index 0000000000000..adc6414b5e569 --- /dev/null +++ b/admin/tool/phpunit/cli/init.bat @@ -0,0 +1,20 @@ +@ECHO OFF +CALL php %~dp0\util.php --diag > NUL 2>&1 + +IF ERRORLEVEL 133 GOTO drop +IF ERRORLEVEL 132 GOTO install +IF ERRORLEVEL 1 GOTO unknown +GOTO done + +:drop +CALL php %~dp0\util.php --drop +IF ERRORLEVEL 1 GOTO done + +:install +CALL php %~dp0\util.php --install +GOTO done + +:unknown +CALL php %~dp0\util.php --diag + +:done