Merge branch 'PHP-7.1'

* PHP-7.1:
  Guard against AppVeyor losing deps issue

diff --cc appveyor/build_task.bat
index 6a2bf2dbc08ca43e11681d906ad29403f3ac7d26,4136455ab04149ba25a170979344d1db19fb1bcf..1bcbbb7754346162ba0d672edb50206b43da4af0
--- 1/appveyor/build_task.bat
--- 2/appveyor/build_task.bat
+++ b/appveyor/build_task.bat
@@@ -19,9 -19,16 +19,16 @@@ set STABILITY=stagin
  set DEPS_DIR=%PHP_BUILD_CACHE_BASE_DIR%\deps-%BRANCH%-%PHP_SDK_VC%-%PHP_SDK_ARCH%
  rem SDK is cached, deps info is cached as well
  echo Updating dependencies in %DEPS_DIR%
 -cmd /c phpsdk_deps --update --no-backup --branch %BRANCH% --stability %STABILITY% --deps %DEPS_DIR%
 +cmd /c phpsdk_deps --update --no-backup --branch %BRANCH% --stability %STABILITY% --deps %DEPS_DIR% --crt %PHP_BUILD_CRT%
  if %errorlevel% neq 0 exit /b 3
  
+ rem Something went wrong, most likely when concurrent builds were to fetch deps
+ rem updates. It might be, that some locking mechanism is needed.
+ if not exist "%DEPS_DIR%" (
+       cmd /c phpsdk_deps --update --force --no-backup --branch %BRANCH% --stability %STABILITY% --deps %DEPS_DIR%
+ )
+ if %errorlevel% neq 0 exit /b 3
+ 
  cmd /c buildconf.bat --force
  if %errorlevel% neq 0 exit /b 3