chiark / gitweb /
makebuildserver: settable vm boot timeout, plus longer default
authorHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 16:35:25 +0000 (17:35 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 16:47:17 +0000 (17:47 +0100)
commit90d81eba2d136721bdf33557e5cb5dbd931c954b
tree764a9933e6e3d7b1d667a754c11d0d1c029b569c
parent3511c44357df0df3e2e2215d3be6ac3297755857
makebuildserver: settable vm boot timeout, plus longer default

On slow machines or VMs like the Debian jenkins box, the VM boot timeout
needs to be a lot longer, otherwise vagrant times out before setting up
the VM.
examples/makebuildserver.config.py
makebuildserver