tools: install.bat: bail out if idf_tools.py call fails

Makes installation errors easier to spot.

diff --git a/install.bat b/install.bat
index fdb9771a469e80abf62966b83da8638f033b9802..784fd850cd00d7c2974afc287da93bc59a09c123 100644 (file)
--- a/install.bat
+++ b/install.bat
@@ -10,10 +10,13 @@ set IDF_PATH=%IDF_PATH:~0,-1%
 
 echo Installing ESP-IDF tools
 python.exe %IDF_PATH%\tools\idf_tools.py install
+if %errorlevel% neq 0 goto :end
 
 echo Setting up Python environment
 python.exe %IDF_PATH%\tools\idf_tools.py install-python-env
+if %errorlevel% neq 0 goto :end
 
 echo All done! You can now run:
 echo    export.bat
-:: Clean up
+
+:end