From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 26 Jan 2016 12:33:53 +0000 (+0100)
Subject: makebuildserver: explicitly set debian_mirror by default
X-Git-Tag: 0.6.0~24^2~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=fdroidserver.git;a=commitdiff_plain;h=3511c44357df0df3e2e2215d3be6ac3297755857

makebuildserver: explicitly set debian_mirror by default

There needs to be a default, otherwise it crashes.  I should have included
this in 8d66742dd7feec77aa30382bfb38da83f2b3e5a4
---

diff --git a/makebuildserver b/makebuildserver
index 20bc785f..d876a004 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -53,6 +53,7 @@ config = {
         'file://' + os.path.join(cachedir, 'jessie32.box'),
         'https://f-droid.org/jessie32.box',
     ],
+    'debian_mirror': 'http://http.debian.net/debian/',
     'cachedir': cachedir,
     'cpus': 1,
     'memory': 3584,