diff options
Diffstat (limited to 'project/BuildDependencies')
| -rw-r--r-- | project/BuildDependencies/DownloadBuildDeps.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/project/BuildDependencies/DownloadBuildDeps.bat b/project/BuildDependencies/DownloadBuildDeps.bat index bd2d4d8ac2..fdc51e4203 100644 --- a/project/BuildDependencies/DownloadBuildDeps.bat +++ b/project/BuildDependencies/DownloadBuildDeps.bat @@ -33,6 +33,10 @@ FOR /F "tokens=*" %%S IN ('dir /B "*_d.bat"') DO ( CALL %%S ) +REM Trick to preserve console title +start /b /wait cmd.exe /c get_formed.cmd +IF ERRORLEVEL 1 EXIT /B %ERRORLEVEL% + cd %CUR_PATH% rmdir %TMP_PATH% /S /Q |