summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoranonym <anonym@riseup.net>2016-09-27 20:02:34 +0200
committeranonym <anonym@riseup.net>2016-09-27 20:02:34 +0200
commitdd688d66250493d26a9bf826de0322ec3770e5ec (patch)
tree654426ce699041c95dd038f3009147a49f417723
parentfc4196e98249ca711286b5b1068cc14a620a9cca (diff)
parentd8cc34b226c68fe74c1227a733e3c7d5aa016967 (diff)
Merge branch 'stable' into devel
-rw-r--r--vagrant/lib/tails_build_settings.rb2
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant/lib/tails_build_settings.rb b/vagrant/lib/tails_build_settings.rb
index 4e7a707..3265663 100644
--- a/vagrant/lib/tails_build_settings.rb
+++ b/vagrant/lib/tails_build_settings.rb
@@ -6,7 +6,7 @@
VIRTUAL_MACHINE_HOSTNAME = 'vagrant-jessie'
# Approximate amount of extra space needed for builds
-BUILD_SPACE_REQUIREMENT = 8*1024 + 128
+BUILD_SPACE_REQUIREMENT = 9*1024
# Virtual machine memory size for on-disk builds
VM_MEMORY_FOR_DISK_BUILDS = 512