chiark / gitweb /
Increase RAM on build server
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 21 Jan 2013 11:09:36 +0000 (11:09 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 21 Jan 2013 11:09:36 +0000 (11:09 +0000)
buildserver/Vagrantfile

index 8e30feadba569b9e54647ca518437f1d5e5539e1..41c1eaddfdc986f09dbac8154843b3a40cff4c24 100644 (file)
@@ -3,7 +3,7 @@ Vagrant::Config.run do |config|
   config.vm.box = "precise32"
   config.vm.box_url = "/shares/software/OS and Boot/precise32.box"
 
-  config.vm.customize ["modifyvm", :id, "--memory", "1024"]
+  config.vm.customize ["modifyvm", :id, "--memory", "1536"]
 
   config.vm.provision :shell, :path => "fixpaths.sh"
   # Set apt proxy - remove, or adjust this, accordingly!