From 0906af6f105f9b94286d103f73b837a139cd9841 Mon Sep 17 00:00:00 2001
From: Per Lundberg <perlun@gmail.com>
Date: Wed, 11 Oct 2017 22:46:07 +0300
Subject: [PATCH] Vagrantfile: Increased timeout.

---
 Vagrantfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 082eeae6..86e683b3 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,6 +2,9 @@
 Vagrant.configure(2) do |config|
   config.vm.box = 'remram/debian-9-i386'
 
+  # Sometimes, the default seems to be too little for this one.
+  config.vm.boot_timeout = 600
+
   config.vm.provision 'shell', inline: <<-SHELL
     set -e