X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=makebuildserver;h=aeb5ebbc60fad1fc59bd4c99f5a0e60c58dc8613;hb=90d81eba2d136721bdf33557e5cb5dbd931c954b;hp=d876a004a1db8d602226d8e71b2c498afd79902f;hpb=3511c44357df0df3e2e2215d3be6ac3297755857;p=fdroidserver.git

diff --git a/makebuildserver b/makebuildserver
index d876a004..aeb5ebbc 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -54,6 +54,7 @@ config = {
         'https://f-droid.org/jessie32.box',
     ],
     'debian_mirror': 'http://http.debian.net/debian/',
+    'boot_timeout': 600,
     'cachedir': cachedir,
     'cpus': 1,
     'memory': 3584,
@@ -353,11 +354,14 @@ Vagrant.configure("2") do |config|
     v.customize ["modifyvm", :id, "--cpus", "{3}"]
   end
 
+  config.vm.boot_timeout = {4}
+
   config.vm.provision :shell, :path => "fixpaths.sh"
 """.format(config['basebox'],
            baseboxurl,
            config['memory'],
-           config.get('cpus', 1))
+           config.get('cpus', 1),
+           config['boot_timeout'])
 if 'aptproxy' in config and config['aptproxy']:
     vagrantfile += """
   config.vm.provision :shell, :inline => 'sudo echo "Acquire::http {{ Proxy \\"{0}\\"; }};" > /etc/apt/apt.conf.d/02proxy && sudo apt-get update'