diff options
| -rw-r--r-- | update_external_sources.bat | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/update_external_sources.bat b/update_external_sources.bat index 237f7757..b6a99113 100644 --- a/update_external_sources.bat +++ b/update_external_sources.bat @@ -217,13 +217,12 @@ goto:finish :error echo. echo Halting due to error +set errorCode=1 goto:finish :finish if not "%cd%\" == "%BUILD_DIR%" ( cd %BUILD_DIR% ) -endlocal -goto:eof - +exit /b %errorCode% REM // ======== Functions ======== // |