]> granicus.if.org Git - php/commitdiff
Fix fetching the SDK version
authorAnatol Belski <ab@php.net>
Mon, 30 Oct 2017 10:28:32 +0000 (11:28 +0100)
committerAnatol Belski <ab@php.net>
Mon, 30 Oct 2017 10:28:32 +0000 (11:28 +0100)
appveyor/build.bat

index 8119c097f45ab9999e5df4976ab3f9f9a5e1c8ca..e18b9a3dbbc5f81a9758f19575616438da4b06e2 100644 (file)
@@ -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%