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 20bc785ff1832b5f5ad2bf748719ea2d13727651..d876a004a1db8d602226d8e71b2c498afd79902f 100755 (executable)
--- 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,