chiark / gitweb /
Merge branch 'makebuildserver/default_memory' into 'master'
authorMarcus <bubuiic@aol.com>
Wed, 25 Oct 2017 12:41:25 +0000 (12:41 +0000)
committerMarcus <bubuiic@aol.com>
Wed, 25 Oct 2017 12:41:25 +0000 (12:41 +0000)
makebuildserver: change mem default 4 GB

See merge request fdroid/fdroidserver!358

examples/makebuildserver.config.py
makebuildserver

index 7015cf5814acd0872d3d161c6d702f2f642254a5..3c24389952d5ac6470acfa196fa6c02ff42692dc 100644 (file)
@@ -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
index 27a952b8e4cd6de3ec3a0ea9e44e78a70f0d81c1..64280c35adeda549ebdd8c0407f9e8102cbbe0b3 100755 (executable)
@@ -66,7 +66,7 @@ config = {
     'boot_timeout': 600,
     'cachedir': cachedir,
     'cpus': 1,
-    'memory': 1024,
+    'memory': 2048,
     'hwvirtex': 'off',
     'vm_provider': 'virtualbox',
 }