From 477324bbe306c836f4414f0fcb0cbb64b14e4df3 Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Mon, 15 Jun 2020 07:41:43 +0100 Subject: [PATCH] [CI] fail if not possible to install python3 (#19164) --- .ci/scripts/install-tools.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/scripts/install-tools.bat b/.ci/scripts/install-tools.bat index 54bcaf5e8a4..d5d48b1dcd0 100644 --- a/.ci/scripts/install-tools.bat +++ b/.ci/scripts/install-tools.bat @@ -20,7 +20,7 @@ where mage if not exist C:\Python38\python.exe ( REM Install python 3.8. - choco install python -y -r --no-progress --version 3.8.2 + choco install python -y -r --no-progress --version 3.8.2 || echo ERROR && exit /b ) python --version where python