kamp/fdroidserver
1
0
Fork 0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-10-02 17:20:25 +02:00
Code Activity

Merge branch 'makebuildserver/default_memory' into 'master'

Browse Source 
makebuildserver: change mem default 4 GB

See merge request fdroid/fdroidserver!358
This commit is contained in:
Marcus 2017-10-25 12:41:25 +00:00
commit fde964479d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/makebuildserver.config.py
View File

@ -44,7 +44,7 @@
# #
# debian_mirror = 'http://ftp.uk.debian.org/debian/' # 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 # memory = 3584
# The number of CPUs the build server will have # The number of CPUs the build server will have

2
makebuildserver
View File

@ -66,7 +66,7 @@ config = {
'boot_timeout': 600, 'boot_timeout': 600,
'cachedir': cachedir, 'cachedir': cachedir,
'cpus': 1, 'cpus': 1,
'memory': 1024, 'memory': 2048,
'hwvirtex': 'off', 'hwvirtex': 'off',
'vm_provider': 'virtualbox', 'vm_provider': 'virtualbox',
} }