Files
php-sdk-binary-tools/bin/phpsdk_pgo.bat
Christoph M. Becker 20d13baab2 Fix #23: Windows permissions incorrect after cloning (#24)
We set executable permissions for all .bat and .exe files.  This is
required for running in Cygwin shells, but generally considered good
style.
2024-08-21 20:53:15 +02:00

15 lines
245 B
Batchfile
Executable File

@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%