From 4004763075710c6873c472b80ec8a623b4bb8ec2 Mon Sep 17 00:00:00 2001
From: Victor Martinez <victormartinezrubio@gmail.com>
Date: Fri, 6 Nov 2020 15:46:58 +0000
Subject: [PATCH] [CI] install tools fail in some workers (#22443) (#22464)

---
 .ci/scripts/install-tools.bat | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.ci/scripts/install-tools.bat b/.ci/scripts/install-tools.bat
index 0fb4813bf09b..0e9aea0ab9eb 100755
--- a/.ci/scripts/install-tools.bat
+++ b/.ci/scripts/install-tools.bat
@@ -26,13 +26,20 @@ IF ERRORLEVEL 1 (
     ) ELSE (
         curl -sL -o %WORKSPACE%\bin\gvm.exe https://github.com/andrewkroh/gvm/releases/download/v0.2.2/gvm-windows-386.exe
     )
+    IF ERRORLEVEL 1 (
+        exit /b 1
+    )
+    dir "%WORKSPACE%\bin" /b
 )
 FOR /f "tokens=*" %%i IN ('"gvm.exe" use %GO_VERSION% --format=batch') DO %%i
 
 go env
 go get github.com/magefile/mage
-mage -version
 where mage
+mage -version
+IF ERRORLEVEL 1 (
+    exit /b 1
+)
 
 if not exist C:\Python38\python.exe (
     REM Install python 3.8.