diff options
| author | Anatol Belski <ab@php.net> | 2017-10-30 10:17:25 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-10-30 10:17:25 +0100 |
| commit | e5179054fb073c541dc05fd95742fcffe40f11d1 (patch) | |
| tree | 847ceceaadc94a61686f341ece90711bab267c44 /appveyor | |
| parent | af6ba57d9574dc845fa389cb302587afeb1afa18 (diff) | |
| parent | f361caa5c09cc42a1bf2b30cbf616bff70afe8f4 (diff) | |
| download | php-git-e5179054fb073c541dc05fd95742fcffe40f11d1.tar.gz | |
Merge branch 'PHP-7.1' into PHP-7.2
* PHP-7.1:
Remove status check on the SDK repo and add version check
Diffstat (limited to 'appveyor')
| -rw-r--r-- | appveyor/build.bat | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/appveyor/build.bat b/appveyor/build.bat index e1d5291aaa..417340a335 100644 --- a/appveyor/build.bat +++ b/appveyor/build.bat @@ -17,12 +17,8 @@ if not exist "%PHP_BUILD_CACHE_SDK_DIR%" ( echo Cloning remote SDK repository git clone --branch %SDK_BRANCH% %SDK_REMOTE% "%PHP_BUILD_CACHE_SDK_DIR%" 2>&1 ) else ( - git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" status 2>&1 - if %errorlevel% neq 0 ( - rmdir /s /q "%PHP_BUILD_CACHE_SDK_DIR%" - echo Cloning remote SDK repository - git clone --branch %SDK_BRANCH% %SDK_REMOTE% "%PHP_BUILD_CACHE_SDK_DIR%" 2>&1 - ) else ( + for /f "tokens=*" %%a in ('type %PHP_BUILD_CACHE_SDK_DIR%\VERSION') do set GOT_SDK_VER=%%a + if "%GOT_SDK_VER%" NEQ "%SDK_BRANCH:~8%" ( echo Fetching remote SDK repository git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" fetch --prune origin 2>&1 echo Checkout SDK repository branch |