mirror of
https://github.com/php/php-src.git
synced 2026-03-30 12:13:02 +02:00
13 lines
273 B
Batchfile
13 lines
273 B
Batchfile
@echo off
|
|
|
|
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
|