chiark / gitweb /
Merge branch 'base-image' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
CI: Use the new base image

Lighter, since it doesn't include all the stuff required to build and
test the client that we don't need here.

See merge request !116

fdroidserver/build.py

index 7f647b8fda798efe1e622f95f105cc0486f01b2d..a387d13bca321b14145ade0a910a3e4fce47a11d 100644 (file)
@@ -1006,7 +1006,7 @@ def main():
     # different than for the standard metadata/ layout because expectations
     # are different.  In this case, the most common user will be the app
     # developer working on the latest update of the app on their own machine.
-    local_metadata_files = common.get_local_local_metadata_files()
+    local_metadata_files = common.get_local_metadata_files()
     if len(local_metadata_files) == 1:  # there is local metadata in an app's source
         config = dict(common.default_config)
         # `fdroid build` should build only the latest version by default since