mirror of
https://github.com/php-win-ext/php-sdk-binary-tools.git
synced 2026-04-30 04:23:15 +02:00
76ede8f900
Rename starter scripts for 16
15 lines
245 B
Batchfile
15 lines
245 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
|
|
)
|
|
)
|
|
|
|
cmd /c %PHP_SDK_PHP_CMD% %PHP_SDK_BIN_PATH%\phpsdk_pgo.php %*
|
|
|
|
exit /b %errorlevel%
|
|
|