chiark / gitweb /
switch to new 64-bit base box image: https://f-droid.org/jessie64.box
authorHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 10:34:00 +0000 (12:34 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 10:34:00 +0000 (12:34 +0200)
build-tools and other SDK bits from android-24 require 64-bit GNU/Linux

makebuildserver

index 356848fe986f344360848dc123c439e39bd054c1..20aa3d562eddb121321b81dde3c0423cb2a882ee 100755 (executable)
@@ -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,