makebuildserver: change mem default 2 GB

1 GB is not enough for a modern android toolchain, so we change it to
something actually usable.

diff --git a/examples/makebuildserver.config.py b/examples/makebuildserver.config.py
index 7015cf5814acd0872d3d161c6d702f2f642254a5..3c24389952d5ac6470acfa196fa6c02ff42692dc 100644 (file)
--- a/examples/makebuildserver.config.py
+++ b/examples/makebuildserver.config.py
@@ -44,7 +44,7 @@
 #
 # debian_mirror = 'http://ftp.uk.debian.org/debian/'
 
-# The amount of RAM the build server will have (default: 1024)
+# The amount of RAM the build server will have (default: 2048)
 # memory = 3584
 
 # The number of CPUs the build server will have

diff --git a/makebuildserver b/makebuildserver
index e899100dd8ad7fe309f4d2316fb9dc095dd48f9a..08f07d0afcabb389e802f034ea9194e625adec02 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -67,7 +67,7 @@ config = {
     'boot_timeout': 600,
     'cachedir': cachedir,
     'cpus': 1,
-    'memory': 1024,
+    'memory': 2048,
     'hwvirtex': 'off',
     'vm_provider': 'virtualbox',
 }