diff options
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-mingw.bat')
| -rw-r--r-- | etc/bootstrap/bbot-bootstrap-mingw.bat | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-mingw.bat b/etc/bootstrap/bbot-bootstrap-mingw.bat index 1280c1c..9db41c8 100644 --- a/etc/bootstrap/bbot-bootstrap-mingw.bat +++ b/etc/bootstrap/bbot-bootstrap-mingw.bat @@ -14,6 +14,7 @@ set "ENVIRONMENTS=C:\environments" set "TFTP=196.254.111.222" rem set "TFTP=10.1.0.1:55123" set "VERBOSE=3" +set "TIMEOUT=600" rem If we already have the bbot worker, assume we are bootstrapped. rem @@ -132,7 +133,7 @@ cd %bstrap% @rem Note: executing in a separate cmd.exe to preserve the echo mode. @rem -cmd /C build-mingw.bat g++ %INSTALL% %trust% +cmd /C build-mingw.bat --timeout %TIMEOUT% g++ %INSTALL% %trust% @if errorlevel 1 goto error cd .. @@ -146,7 +147,7 @@ rmdir /S /Q %bstrap% @for /D %%d in (build2-toolchain-*) do set "config=%%d" cd %config% -bpkg build --yes bbot +bpkg --fetch-timeout %TIMEOUT% build --yes bbot @if errorlevel 1 goto error bpkg install bbot |