diff options
author | Anatol Belski <ab@php.net> | 2017-10-30 10:53:12 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2017-10-30 10:53:12 +0100 |
commit | c6e8c2bc9fe107254b01f3d24ce23e521579decf (patch) | |
tree | 51328f1dcbec2657d37e28a8623a0189ddf30995 | |
parent | 591e811a3520d96e185173d80cb73176f162097a (diff) | |
download | php-git-c6e8c2bc9fe107254b01f3d24ce23e521579decf.tar.gz |
Fix SDK version comparison and add more verbosity
-rw-r--r-- | appveyor/build.bat | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/appveyor/build.bat b/appveyor/build.bat index 22c617f11c..8119c097f4 100644 --- a/appveyor/build.bat +++ b/appveyor/build.bat @@ -18,7 +18,9 @@ if not exist "%PHP_BUILD_CACHE_SDK_DIR%" ( 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 Got SDK version %GOT_SDK_VER% + if NOT "%GOT_SDK_VER%" == "%PHP_BUILD_SDK_BRANCH:~8%" ( + echo Updating to the configured SDK version %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 |