From bfd80d12d93b0535f9f1c136d9db7ec5ecd74f15 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Mon, 4 Jul 2016 12:34:00 +0200
Subject: [PATCH 1/1] switch to new 64-bit base box image:
 https://f-droid.org/jessie64.box

build-tools and other SDK bits from android-24 require 64-bit GNU/Linux
---
 makebuildserver | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/makebuildserver b/makebuildserver
index 356848fe..20aa3d56 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -50,11 +50,11 @@ options, args = parser.parse_args()
 cachedir = os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver')
 config = {
     'arch64': False,
-    'basebox': 'jessie32',
+    'basebox': 'jessie64',
     # TODO in py3, convert this to pathlib.Path(absolute_path_string).as_uri()
     'baseboxurl': [
-        'file://' + os.path.join(cachedir, 'jessie32.box'),
-        'https://f-droid.org/jessie32.box',
+        'file://' + os.path.join(cachedir, 'jessie64.box'),
+        'https://f-droid.org/jessie64.box',
     ],
     'debian_mirror': 'http://http.debian.net/debian/',
     'apt_package_cache': False,
-- 
2.30.2