From df6c5f4f1632d96e1c586a6d71bd9758910897e5 Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Mon, 15 Jun 2020 10:25:40 +0100 Subject: [PATCH] Cherry-pick #19164 to 7.x: [CI] fail if not possible to install python3 (#19186) --- .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 100755 --- 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