mirror of
https://github.com/php/php-sdk-binary-tools.git
synced 2026-04-29 18:23:21 +02:00
Anatol Belski
12 lines
162 B
Batchfile
12 lines
162 B
Batchfile
@echo off
|
|
|
|
if "%PHP_SDK_PHP_CMD%"=="" (
|
|
echo PHP SDK is not setup
|
|
exit 3
|
|
)
|
|
|
|
call %PHP_SDK_PHP_CMD% %PHP_SDK_BIN_PATH%\phpsdk_dllmap.php %*
|
|
|
|
exit /b
|
|
|