diff options
| author | Xinchen Hui <laruence@gmail.com> | 2017-10-30 18:21:00 +0800 |
|---|---|---|
| committer | Xinchen Hui <laruence@gmail.com> | 2017-10-30 18:21:00 +0800 |
| commit | d4b81223cd903cc1b37b94326caf2077054e79c6 (patch) | |
| tree | b366431aae9c9899a13f3c7646a77ae300d09999 /appveyor | |
| parent | db4eb541490c1582a250f1e027bf2257f00b222e (diff) | |
| parent | a438a633e939d1e717a88d25c6dd9bf49dd50c8e (diff) | |
| download | php-git-d4b81223cd903cc1b37b94326caf2077054e79c6.tar.gz | |
Merge branch 'PHP-7.2' of git.php.net:/php-src into PHP-7.2
* 'PHP-7.2' of git.php.net:/php-src:
Fix SDK version comparison and add more verbosity
Don't use the cache dependency, SDK version is handled in script
Diffstat (limited to 'appveyor')
| -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 417340a335..9971d781ab 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 |