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

Makes installation errors easier to spot.
zoonman · Jul 23, 2019 · f38c1c1 · f38c1c1
1 parent 9c5284e
commit f38c1c1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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