mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

makebuildserver: explicitly set debian_mirror by default

Browse source 
There needs to be a default, otherwise it crashes.  I should have included
this in 8d66742dd7
This commit is contained in:
Hans-Christoph Steiner 2016-01-26 13:33:53 +01:00
parent 88d369e293
commit 3511c44357
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
makebuildserver
View file

@ -53,6 +53,7 @@ config = {
'file://' + os.path.join(cachedir, 'jessie32.box'), 'file://' + os.path.join(cachedir, 'jessie32.box'),
'https://f-droid.org/jessie32.box', 'https://f-droid.org/jessie32.box',
], ],
'debian_mirror': 'http://http.debian.net/debian/',
'cachedir': cachedir, 'cachedir': cachedir,
'cpus': 1, 'cpus': 1,
'memory': 3584, 'memory': 3584,