From 3511c44357df0df3e2e2215d3be6ac3297755857 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 26 Jan 2016 13:33:53 +0100
Subject: [PATCH] makebuildserver: explicitly set debian_mirror by default

There needs to be a default, otherwise it crashes.  I should have included
this in 8d66742dd7feec77aa30382bfb38da83f2b3e5a4
---
 makebuildserver | 1 +
 1 file changed, 1 insertion(+)

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,
-- 
2.30.2