diff options
| author | Karlson2k <k2k@narod.ru> | 2013-09-14 23:13:12 +0400 |
|---|---|---|
| committer | Karlson2k <k2k@narod.ru> | 2013-10-01 16:34:27 +0400 |
| commit | b288809dcda4c1e9ed09e965121a2f0d75b4add4 (patch) | |
| tree | 0559bbb75795c2d61c62c2114481674f3705e046 /project/BuildDependencies | |
| parent | 22fc7bc69049b8f77ca11551a31156817d8a3d8f (diff) | |
[win32] Run new batch file from DownloadBuildDeps.bat
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 |