mirror of
https://github.com/php-win-ext/php-sdk-binary-tools.git
synced 2026-04-23 08:48:07 +02:00
Anatol Belski
15 lines
233 B
Batchfile
15 lines
233 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
|
|
)
|
|
)
|
|
|
|
call %PHP_SDK_PHP_CMD% %PHP_SDK_BIN_PATH%\phpsdk_dllmap.php %*
|
|
|
|
exit /b
|
|
|