diff options
author | Anatol Belski <ab@php.net> | 2017-10-30 11:30:19 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2017-10-30 11:30:19 +0100 |
commit | ddcef0fc0ffb7bb69fa121146727ba499742cec2 (patch) | |
tree | e19a5a3b44142855148ff38f8898419195f7f27e /appveyor | |
parent | d4b81223cd903cc1b37b94326caf2077054e79c6 (diff) | |
parent | dfadda3d090eb3bea5df62a17e8fdd5f998d7ab3 (diff) | |
download | php-git-ddcef0fc0ffb7bb69fa121146727ba499742cec2.tar.gz |
Merge branch 'PHP-7.1' into PHP-7.2
* PHP-7.1:
Fix fetching the SDK version
Diffstat (limited to 'appveyor')
-rw-r--r-- | appveyor/build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appveyor/build.bat b/appveyor/build.bat index 9971d781ab..5eb01cf1b6 100644 --- a/appveyor/build.bat +++ b/appveyor/build.bat @@ -13,11 +13,11 @@ if not exist "%PHP_BUILD_OBJ_DIR%" ( mkdir "%PHP_BUILD_OBJ_DIR%" ) +for /f "tokens=*" %%a in ('type %PHP_BUILD_CACHE_SDK_DIR%\VERSION') do set GOT_SDK_VER=%%a 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 ( - for /f "tokens=*" %%a in ('type %PHP_BUILD_CACHE_SDK_DIR%\VERSION') do set GOT_SDK_VER=%%a 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% |