mirror of
https://github.com/php/php-sdk-binary-tools.git
synced 2026-03-24 15:42:28 +01:00
17 lines
268 B
Batchfile
Executable File
17 lines
268 B
Batchfile
Executable File
@echo off
|
|
|
|
cmd /c "exit /b 0"
|
|
|
|
if "%PHP_SDK_PHP_CMD%"=="" (
|
|
call %~dp0phpsdk_setvars.bat
|
|
if "!PHP_SDK_PHP_CMD!"=="" (
|
|
echo PHP SDK is not setup
|
|
exit /b 3
|
|
)
|
|
)
|
|
|
|
call %PHP_SDK_PHP_CMD% %PHP_SDK_BIN_PATH%\phpsdk_libmap.php %*
|
|
|
|
exit /b %errorlevel%
|
|
|