mirror of
https://github.com/php-win-ext/php-sdk-binary-tools.git
synced 2026-03-26 10:02:06 +01:00
15 lines
273 B
Batchfile
15 lines
273 B
Batchfile
@echo off
|
|
|
|
if "%PHP_SDK_PHP_CMD%"=="" (
|
|
call %~dp0phpsdk_setvars.bat
|
|
if "!PHP_SDK_PHP_CMD!"=="" (
|
|
echo PHP SDK is not setup
|
|
exit /b 3
|
|
)
|
|
)
|
|
|
|
%PHP_SDK_PHP_CMD% -r "echo 'PHP SDK ' . file_get_contents(getenv('PHP_SDK_ROOT_PATH') . '\\VERSION');"
|
|
|
|
exit /b
|
|
|