mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
16 lines
338 B
Batchfile
16 lines
338 B
Batchfile
if /i "%GITHUB_ACTIONS%" neq "True" (
|
|
echo for CI only
|
|
exit /b 3
|
|
)
|
|
|
|
set SDK_RUNNER=%PHP_BUILD_CACHE_SDK_DIR%\phpsdk-%PHP_BUILD_CRT%-%PLATFORM%.bat
|
|
if not exist "%SDK_RUNNER%" (
|
|
echo "%SDK_RUNNER%" doesn't exist
|
|
exit /b 3
|
|
)
|
|
|
|
cmd /c %SDK_RUNNER% -t .github\scripts\windows\test_task.bat
|
|
if %errorlevel% neq 0 exit /b 3
|
|
|
|
exit /b 0
|