mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 01:02:11 +01:00
14 lines
225 B
Batchfile
14 lines
225 B
Batchfile
@ECHO OFF
|
|
|
|
rem must be on the env already
|
|
if "%PHP_SDK_ROOT_PATH%"=="" (
|
|
echo PHP SDK is not setup
|
|
exit /b 3
|
|
)
|
|
call %~dp0rmtools_setvars.bat
|
|
|
|
@ECHO ON
|
|
call %PHP_SDK_PHP_CMD% %PHP_RMTOOLS_SCRIPT_PATH%\snap.php %*
|
|
@ECHO OFF
|
|
|